Hi,

here is a small patch to document how to make globally visible a
specific output of a package.