RoboWiki (robowiki.net)/Extensions