Tiny Flask/Angular tool to edit GitHub notification settings, since the GitHub UI doesn't expose all of the options