Build #2891 (May 13, 2024, 10:47:00 PM)

1. formatting (details)
2. small updates, and more proofreading of the related-works chapter (details)
3. proofread string section of background chapter (details)

Started by timer

• refs/remotes/origin/master