fix subproject intersphinx URLs ; minor format tweak