Hello,
Although there isn’t an official text file containing all the tags, you can use the Smartsearch feature to achieve this result. You can upload your in-house lecture slides and search for tags based on your learning objectives. The Smartsearch feature is available on the AnkiHub Premium plan.
Here you can learn more about it: 🤖 What is Smart Search?