To reflect the move from hackage trac to github issues. Note that the
issue numbers don't quite line up.