Firefox, Edit shortcut keys button in options, open Manage Extension Shortcuts

The Edit shortcut keys button in the extension options, opens a shortcuts.html page that shows the default shortcuts hard coded. They don't change even though the keys have been changed on the Firefox Manage Extensions Shortcuts page, to use shift + alt as the modifiers, because another extension [Vimium](h

The module we use (https://github.com/TinyWebEx/AddonSettings) does abstract all the settings of the add-on and by default tries to query the option as a managed option first. Thus, any setting we use, should theoretically be able to be overwritten by an administrator and the user should not be able to change it, afterwards.
The module [for the options page](https://github.com/TinyWebEx/Automatic

Bug description

The testing guide at https://github.com/rugk/mastodon-simplified-federation/wiki/Testing#redirects has problems.

Steps to reproduce

Indicate (next to player name) how many times that player was attacked that day in arena, and when.

By Máté Kádas @ facebook

Option to enable dark theme on github with this add-on