[tei-council] maybe a consideration for next utilities release?

[Lou Burnard]

I realise this is a minority interest, but still and all, I thought I 
might mention that to use the local installed version of p5subset.xml 
rather than sit and wait for the network with the following utilities I 
have to ...

a) odd2nuodd : add parameter P5=/usr/local/whatever

b) roma : add command line option --localsource=/usr/local/whatever

c) oddbyexample : add parameter tei=/usr/local/whatever

would a bit of consistency be too much to ask?