I realize this can be dealt with in $display_filter, but is there any (good) reason not to strip (or convert) ^Ms in the mutt pager? w