In the latest binary RPM, in /usr/doc/mlton-20001004/HTML, the files index.html and main.html are identical, but not hard (or soft) links. This should be fixed.