Use new format for intersphinx mapping
Various docs fixes