Agreed, but in this case those reasons actually make it more valid, because there will be no way for someone else to reverse the decision once it is made.

It closes the door on some zombie resurrection of openoffice and essentially cedes the identifier to libreoffice.

Indeed, it should be 307 instead, just to keep the decision revertible.

Why is that? What if you want to change your domain name?

GitHub Pages sends 301 redirects when you put a CNAME file on the repo. That's insane.

301 redirects are the herpes of the Internet.

You make one mistake, and it's with you for the rest of eternity.