Fix for settings regression
- User ID is now stored as a number, not a string, meaning that no comments or PRs were being identified as “mine” anymore.