You make a valid point, LLMs intuitively change the need for such formalized languages. It may not be a total waste of time, but I fail to see how this slight exaggeration justifies how your comment is currently stamped into the ground, likely by the current livid rage currently directed at LLMs in the software developer community.

I get it, people don't like to have their lives disrupted, and I sympathize, just as I sympathized when secretaries, bookstore owners and others were forced to find other ways to make a living. At least in our case we still have (or can find) a job, it has just changed, to some extent even considerably.