The post did not omit that, it included the very similar thing they typed as context for how they auto-piloted it. In that autopilot state having to type out 54000 would probably have snapped them out of it. I get why you'd think the author is being unreasonable, they seem to imply that this should already have been done, but I think that is mostly them feeling upset about the situation. The actual observations would be thoughtful improvements to the UI.