We no longer need this hard file

I've moved all the issues into Github Issues.