That's fine, and I don't think you need to post patches to html here. Just update the web and if you think someone might have feedback, mention that you've done so. Thanks, Roland