Chiefly documentation

Smooths out a procedure to run locally with Docker, mainly. Improves other documentation and a few front-end tweaks to match.