If anyone else finds an up to date tool that would be better; if we decide to move bug tracking to github.