Added additional web pages to the "Leo's documentation" tree so that running make-sphinx on that tree suffices to generate all docs without warnings.