Workaround bug in GitHub editor