web/username_prefix.php: insertion comments: documented that the semantic meaning of the [] portion also applies, even though it's not included in the linked term name