now using issue tracker on GitHub so bug.txt is no longer needed and has been removed