PR Radar 0.2.0

Added

• You can now use four new filters in the query editor: unresolved comments, nothing unresolved, I approved, and I haven't approved. GitHub search cannot do these on its own.
• PRs with open review threads now show an N UNRESOLVED badge.
• There is a Duplicate query button in the editor. It copies your query next to the original and moves you to the new one.

Fixed

• Queries using sort: now keep the order from GitHub.
• Closing the editor only fetches data again if tokens change. Renaming a tab will not clear the list anymore.
• The refresh spinner stays in one place instead of wobbling. It keeps spinning until every refresh is finished.
• Numbers now show as 1234 instead of 1 234 in places that group digits.