<div dir="ltr"><div class="gmail_extra">let's do it this way. Why doesn't one of you just propose the wording. </div><div class="gmail_extra"><br></div><div class="gmail_extra">The project was Plan 9, which I doubt many people on this care about :-)</div>
<div class="gmail_extra"><br></div><div class="gmail_extra">ron</div></div>