Build issue: Local diff from RTD: URLs

If build locally, pages end up in ..../schema.html

If on RTD, pages end up in ..../schema/

Work out why and if this is actually important or not

[Bjwebb]

This is the difference between make html and make dirhtml. I tend to prefer the latter.