Bash has both a well-written info manual and well-written man page, an anomaly among GNU software! Weirdly, they don't share much language. Seems like a waste

Bash has both a well-written info manual and well-written man page, an anomaly among GNU software! Weirdly, they don't share much language. Seems like a waste of effort to write two distinct high-quality manuals for the same piece of software.