usermanual: more on tagging (thanks to Christian Kanzian)