Found the issue with 4.0.1 on Linux (only affecting Linux) and will try to build a new version 4.0.2 once that has landed. 1. Are folks ok with that? 2. If yes, I could use help generating and signing Windows (@thor) and the running the website sync scripts (@seph) as we had an error last time