> i don't remember such an agreement.

Sorry if my words made you think that, I didn't mean there was an

> the nearest we could come is to have the github address as a home page,
> and a name like "lualatex maintainers" as the author, with a mail list
> to send things to quoted as the address of the maintainers.

This would be very good!

> we have discussed an extra entry in a catalogue entry for a repository
> address, but haven't got around to developing it.  (the catalogue is a
> collection of xml, and we keep to its dtd ... and changing the dtd is a
> pain.)

Sure, no need for that I believe...

Thank you!