eac7ea8f7e
We now have a deafult issue template in github, so the one inserted by the Create Issue button is no longer needed.