Re: [tei-council] Where should we document Roma configuration?