I have tried to add the
bash-profile tags to How to fix infinite bash loop (bashrc + bash_profile) when ssh-ing into an ec2 server? but after clicking "save tag edits" the tags are not applied. I then tried adding the tags together with editing the question body via a normal edit, and even though the body was changed, the tags were not. My browser is Firefox 78.10.0esr, and since it also fails in safe-mode (with add-ons disabled), I'm wondering if it's a bug.
Additionally weird is that I can edit tags normally for other questions.