Third bugfix update for the 2 August 2023 stable release posted

Hi Everybody!

Just a quick note that we posted the third bugfix update to the 2 August 2023 stable release today.
You can find the release notes on GitHub.

What it doesn’t say in those release notes is that also the USER-REBOMOS plugin has been updated with an important bugfix and a significant performance boost that also makes it much less likely to have it complain about having to boost the “neighbor one” setting.

Downloads will be updated as the corresponding scripts are completed.