Request : Please publish v4.0.1 source code on GitHub

[Samurai Japan]

Hello everyone,

I noticed that the official Horos website is distributing a v4.0.1 DMG, but the
corresponding source code does not seem to be available on the official GitHub
repository (https://github.com/horosproject/horos).

The most recent GitHub release is tagged 20240407 ("Pre-AppleSilicon Build"), and
the default branch (horos) still shows v4.0.0 RC5 in Horos.xcconfig and
releasenotes.html.

Since Horos is distributed under the GNU Lesser General Public License v3.0 (LGPL),
the source code for any distributed binary must be made publicly available.

Could the team please upload the v4.0.1 source code to GitHub and create a
corresponding release tag? This would help developers who wish to contribute,
build from source, or understand what changes were made in this version.

Thank you for your efforts in maintaining this project.