v4.0.1

• Fix the Docker image - make the app start again. (#701).
• Remove border-radius from the top menu to make it appear more clearly anchored to the page. (#699)

Thanks to Marcel Deglau who contributed to this release!