An editor for DOOM files.