As of 5.6.1 I wanted to make the docs more mobile-friendly.
I found to my sad surprise that my mobile device cached CSS files
even on page reload. Hence ./css2 rather than ./css, solely to
force devices to read the new CSS.