The following resources are available at agora.eso-std.org:
This page was edited with cat. Non-standards-compliant markup that's so simple it should work anyway, and proud of it!