Tools for Logic Wiki/Extensions