Fixes #22: add GitHub widget.