Reinstate pretty-printing of AnIds via pprId (#8776)