Due to spam, we had to disable registrations and GitHub login. Please reach out to us at email@example.com if you want to contribute.
Please note that this is a branch off of !5 (merged), not main! We can merge !5 (merged) first, then this one, then the diff is smaller. If you want to do it at once, you can just change the target branch of this MR to main and close !5 (merged).