http://mirbsd.de/mksh is "404 Not Found" Reproducible: Always
Maybe change the home page to http://www.mirbsd.org/mksh.htm? Or perhaps the current one is just temporarily down.
Fixed upstream, url works again.