What if the people administering Debian project are writing shell scripts. Why do they use Dash instead of Bash. Who cares, right.
The speed difference is substantial. It's noticeable. This is indisputable. I would never use Bash for scripting when faster alternatives are available. But who cares, right.
The fact that Bash is big and slow is independent of what any HN commenter chooses to do or not do. It is a fact indepedent of any decision a particular script author chooses to make.