[stavros]

Ahh I looked a few times for a way to submit but didn't find this, thanks!

[marginalia_nu]

Yeah I only added the link the other week. Was a bit skeptical about using github, but so far github seems like a very useful way of crowdsourcing index entries.