RoboWiki (robotmc.org)/Extensions