#1866 (Jan 18, 2023, 1:27:47 AM)

1. clarified file positions: retain original source path; (detail / hgweb)
2. backed out changeset 7f7d5c93e36b: no longer required thanks to 9096703ed99e; (detail / hgweb)
3. clarified formal check of bibtex entries (again), see also 86a099f896fc and 467f45e79ff9; (detail / hgweb)

Started by an SCM change

This run spent:

• 37 min waiting;
• 1 hr 50 min build duration;
• 2 hr 28 min total from scheduled to completion.