After 3 months as obsolete, time to delete this file - fixes #359