Conflict with 'Refined GitHub' extension: its `user-local-time` feature

[darkred]

I have noticed that, if you have enabled both GitHub Hovercard (GH) and Refined GitHub (RG), the user-local-time RG feature (screenshot) becomes broken.

STR

• In a fresh Chrome 87/Firefox 84 (win 10) install latest GitHub Hovercard 1.9.2 and Refined Github 21.1.10 extensions
• login to GitHub with your credentials and generate + enter a token for each extension
• disable GH and visit any issue or PR page e.g. https://github.com/sindresorhus/refined-github/pull/3886
• hover mouse over over e.g. the fregante's avatar:

• now enable GH and hover mouse again (below are screenshots with the two extension styles) :

  GitHub (Light)

  
  Classic (Dark)

  

  There's no error in Console.

[Justineo]

The estimated local time of a user isn't provided by GitHub's API and Refined GitHub supports it by modifying GitHub's own hovercard, which is replaced by GitHub Hovercard's implementation (as you can see they are a bit different, like stats for followers/following/repos, follow/unfollow button, etc.). I don't think I'll fix this unless we can work out a "protocol" to share data across extensions.

[darkred]

Ok, thank you for your response.

[darkred]

I don't think I'll fix this unless we can work out a "protocal" to share data across extensions.

Kindly cc'ing @fregante (because I missed that when I wrote the OP) in case he'd like to share his opinion on this.