The post title is the title of the blog and I've added the (==Goodbye NixOS) part to show Fediverse readers it is about NixOS. After several people commented, I have, after a suggestion of a commenter, added the tl;dr (written by another person apparently involved in the NixOS drama) in the post body. After all this I prefer to leave the post title as is.