CSWiki (wiki.cs.princeton.edu)/Extensions