I'm not aware of a time reddit ever allowed editing of post titles and I've been on the platform for...almost a decade (yikes). Was that something they allowed very early on?