Yep, all three of you got the right answer. That's the function tag I was looking for. Back in those days, I used the Ultimate Tag Warrior plugin but thankfully, the exporting of tags from that plugin into the WordPress system was seamless.