Remove MITeX from project ideas (because it is a project now!)