Automatically redirect from mobile version to desktop version of the page.
As of 2018-06-18. See the latest version.
These are versions of this script where the code was updated. Show all versions.
