4.2.3 – small bugfixes

The extension was giving some glitches sometimes when interacting on Github, thanks Bjorn for reporting!