You are both saying the same thing.
I believe the important part to actually highlight is that the vast majority of strollers in use at WDW, even with a stroller-as-wheelchair tag, are not designed for use with tie downs. Not even all special needs strollers can be used on buses. Most likely if you don't own such a stroller, you will not be renting one, therefore guests should plan to fold the stroller for use on buses. Whether or not a bus driver will allow you to push a stroller through the back doors and then fold it seems to be variable; the stroller-as-wheelchair tag does not necessarily guarantee this will be allowed.