Added: Simple and mobile-friendly gallery and video player, replacing the default pages for
reddit.com/gallery and
v.redd.it-links, respectively. Both are optional and disabled by default, feedback is very much appreciated.
Fixed: The Desktop User-Agent setting will now persist across extension updates.
