Do we really need many of more of these posts? Just leave already. It’s not a special thing, leaving a platform with billions of people. Robots.txt has been around since… forever?