The name of projects on readthedocs should have dashes, and not undersco...

...res. Their server was not redirecting properly from the / URL to the en/latest URL (a problem they will address later). So, the user manual was renamed from kotti_user_manual to kotti-user-manual, and rebuilt, and our links updated.