Changes
- The extension now removes the standard brightness control and puts its own in place (as opposed to trying to monkey patch the existing control).
- Handle external/built-in monitor.
- Control what happens in full-screen.
Notes
The git release shows as 3 in the source code, but the extension (as built by the Gnome Shell Extensions website) shows the release at 2.
Let's call it release v2 then.