I'd tend to agree on keeping PIs in as well. Both Lark and lfred do them at
present. They are used in namespaces (which JUMBO is able to do something
with) and there are also other local uses.
It's going great :-)
P.
Peter Murray-Rust, Director Virtual School of Molecular Sciences, domestic
net connection
VSMS http://www.nottingham.ac.uk/vsms, Virtual Hyperglossary
http://www.venus.co.uk/vhg