The Encyclopedia of CivEx 3.0 Wiki/Extensions