OGS doesn't work anymore and should probably be archived

https://f-droid.org/packages/com.ogsdroid/ doesn't allow you to log into the website since at least 2020: https://github.com/nathanj/ogsdroid/issues/23. Since it's also archived since 2020, I don't expect new updates. It's entirely non-functional without login.

Can the app be marked as non-functional or be removed?