Last I checked I don't have access to "fix" how GitHub displays source code, although it looks like the maintainers can add an .editorconfig to their project to

Last I checked I don't have access to "fix" how GitHub displays source code, although it looks like the maintainers can add an .editorconfig to their project to address this particular case.