proxima Repository for the Proxima generic editor (minus the generic part) See the wiki for more information.