https://f-droid.org/repo/ gives "500 internal server error".

https://f-droid.org/repo/ is linked somewhere but it gives a "internal server error".

I don't think this should happen, or is this okay for some reason?