@Aklapper: Is there a tracking task for differences between mobile and desktop? I think there is, but I searched for a while and can't find it. :-(
T37045: Use history.replaceState to rewrite redirect urls is related to this task.
This might require some design input about whether or not to include the "Redirected from …" message and where to put it if so. That shouldn't stop checking to see if adding a mobile target for mediawiki.action.view.redirect would Just Work™ though.
FYI whenever changing targets on a resource loader module please assert in the commit message that you have considered size of module and tested on some mobile devices and verified conditions it loads. It was not clear from patch if this was done and I've just spent time checking the above (in this case seems relatively harmless).
Please see https://www.mediawiki.org/wiki/ResourceLoader/Writing_a_MobileFrontend_friendly_ResourceLoader_module - consequences of blindly enabling modules can impact first paint in unexpected ways.