I accidentally continued to run some scripts in the background that automatically updated Github with the latest version - I am sorry. Thanks for those who pointed this out. The script has now been removed, and so the release v1.0 is now (actually) “stable” ;-)