Ok, seems to be fixed now just by trawling our site and removing that ‘web-dev’ tag, then using the ‘delete unused tags’ tool.
Afraid I can’t say what caused it for sure to help others more in the future. I’ll keep an eye out to see if it happens again.