Хорошо, похоже, проблема решена — достаточно было просто обойти наш сайт, удалить тег ‘web-dev’, а затем воспользоваться инструментом «Удалить неиспользуемые теги».
К сожалению, я не могу точно сказать, что вызвало это, чтобы помочь другим в будущем. Буду следить, не повторится ли это снова.