<div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><br>I'd prefer doing it now, rather than patching later.<br><br>I'll try on the minicmd plugin, and if it's okay, I'll continue with
<br>other goodies.<br></blockquote></div><br>Ok.<br>