gnu-emacs@gentoo.org Gentoo GNU Emacs project https://github.com/samrushing/metamath-mode/issues/ samrushing/metamath-mode