pentadactyl: Fix github code editor.