[00:13:15] <font color="#005000">Marzo:</font> Dominus: no, I hadn't read, and yes, I think it is a workable kludge<BR>
[00:13:24] <font color="#005000">Marzo:</font> (maybe restricting it to BG-only)<BR>