CodehsBetterEditor
WIP project to add more codehs themes and editor options