Removing useless Anki tags from the tag list?

WaniKani API And Third-Party Apps
1

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?

2

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

3

Thanks for the help.