Alt-Ergo version: 2.5.1

Release date: Sept. 14, 2023