IIRC the help 80 default width is not under our direct control anyway and will probably require a more invasive change.
« Back to merge proposal
IIRC the help 80 default width is not under our direct control anyway and will probably require a more invasive change.