- Revision 29569: /erg/tags/2023/openproof/scripts