Cherry-pick single file (FanoPolytopes.ttl)