<br><br>
<div>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid"><br>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">On Wed, 2008-09-17 at 11:23 -0400, Matthew Miller wrote:<br>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">>The problem is that this is file has a ridiculously complicated and picky<br>>syntax. I am really skeptical about machine-editing it.</blockquote>
</blockquote></blockquote>
<div> </div>
<div> </div>
<div>What do you mean machine edit it?</div><br> </div>