Having migrated these items to Github issues, this file is now obsolete