Build #27 (May 5, 2023, 10:30:08 AM)

1. modificaiton due to latex (detail / hgweb)
2. some small modifications (detail / hgweb)

Started by an SCM change

This run spent:

• 7.3 sec waiting;
• 3 min 18 sec build duration;
• 3 min 25 sec total from scheduled to completion.