In brief, the user went to edit a question tagged
qtonpi. When the edit was saved, this tag was rejected because "The 'pi' tag is not allowed".
The edit history confirms that it was there until that point, and I've tried adding it back myself to no avail. Below is an image from the original user question.