<div dir="ltr">For reference, the hammer has been appropriately used. Doesn't really need to be discussed beyond that. Wheaton's Law applies.<div class="gmail_extra"><br clear="all"><div>-Otto</div>
<br></div></div>