Fix notifications, and linting fixes

- Also bring back Chrome notifications, with an additional permission request on page load (as opposed to before when you'd only get asked to grant permission when you first get a notification).
- Behind feature flag
- They still look a bit ugly
No, it was a duplicate (there's another one above it)