<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
So I guess it's up to Ben to update the prop list:<br>
<br></blockquote><div><br>Done... I think! :-)<br></div></div>