Is the source to the Ada Reference Manual Formatting Tool available online anywhere more convenient

General
1

… than the CVSWeb interface?

2

I have GitHub mirror, probably outdated.

I could try to sync if you need it. Also there’s markdown formatter for ada-lang.io

3

Thanks! This is very helpful.