Update https://proofgeneral.github.io/

[monnier]

That webpage doesn't yet mention NonGNU ELPA and spends probably more time than is now justified talking about a problem in Emacs-26/Debian 10.
[ FWIW, I don't know how/where this page is maintained. For all I know I might have the rights to update it, I just don't know how. ]

[erikmd]

Hi @monnier !

Thanks for your comment.

FYI the source code of the webpage you are talking about ( https://proofgeneral.github.io/ ) is hosted here:

https://github.com/ProofGeneral/proofgeneral.github.io/blob/master/index.md

Feel free to open a PR over there! (or directly push small changes in master if you want, of course!)

[erikmd]

Note that this is Markdown + Jekyll syntax, implying e.g. that code between:

{% comment %}

{% endcomment %}

is ignored.