Removing useless Anki tags from the tag list?

I recently deleted an obsolete Anki deck and found that it somehow managed to leave all the tags in the tag list.  Does anyone know if there’s a way to remove these, or am I stuck with them?

Click tools->maintenance->check database. This will remove any unassigned tags;

Thanks for the help.