make a helper function for intersphinxing