Characters Varieties Wiki/Extensions