Documentation for tex-phaistos
