Okay, scheint jetzt nur durch das Durchsuchen unserer Website und Entfernen des Tags ‘web-dev’ sowie anschließendes Verwenden des Tools ‘Unbenutzte Tags löschen’ behoben zu sein.
Ich fürchte, ich kann nicht mit Sicherheit sagen, was die Ursache war, um anderen in Zukunft besser zu helfen. Ich werde weiterhin beobachten, ob es erneut auftritt.