Posted October 19, 2025 by Jeroen P. Broks
The issue in Windows that could cause version conflicts has been fixed. Sorry for the wait, but my Windows system was unavailable at worst possible moment. Anyway, it's fixed now. For Linux not notable changes have occurred.