The Mu4e filter for my university emails wasn’t working properly, so I fixed it.
While the documentation of this commit gets deployed, redirects on my server should be up