add shortcut to visit monoid-extras repo on github