Interesting article. A few things I noticed.
“when you hear button you automatically think “click.” It is the typical action for a button, and can easily be inferred.”
It’s these kinds of assumptions that turn into screw-ups later. About every tool for formal specification that I can think of has some form of subject/actor, the action, and the object/acted-on. You should keep click so every kind of person under any integration circumstances knows it’s a click beyond a shadow of a doubt. Achieving that certainty is main benefit of formal or precise specifications. Number-only password seems OK. Annoying box is probably a joke but should be more descriptive.
“The word “ug” has the advantage of being terser and also caveman-thematic. “
Ok, so this is a comedy piece. Never mind.