Generate static html from `rst`; switch to python3;