@migueldeicaza usually it is one Discourse, one GitHub. Switch to the other tab, full reload. This is horseshit.