« first day (2476 days earlier)      last day (116 days later) » 

1:17 AM
@ryang As far as I can tell, the synonym has existed since 2018.
 
1 hour later…
2:38 AM
hi @XanderHenderson According to the link I provided, about 40minutes before my previous comment, FOL was made a tag target of PL; I noticed this because I was (trying to) add the PL tag to one Question Post (and the system did not immediately reject it at all) then noticed that clicking 'Submit' immediately retagged 'PL' into 'FOL'; I've also just noticed that this change is (by design) retrospective: every question previously carrying the PL tag now carries the FOL tag instead.
How to vote to undo this change, that is, to retain PL as separate from FOL? On a separate note: I'm not sure either than that retrospective change can actually be undone (that is, can the system remember which Question posts used to carry the PL tag, now that it has already retrospectively conflated both PL and FOL into just FOL).
 
4 hours later…
6:43 AM
@ryang I left a few comments in the tagging chatroom.
Since the two tags haven't been merged, at least the questions that haven't been edited since December 2023 should still have the original tags.

« first day (2476 days earlier)      last day (116 days later) »