intersphinx: moving intersphinx content out of make