<p>Feel free to poke us at <tt>xvm@mit.edu</tt> if this bug is
consistently biting you and we don't seem to be fixing it.</p>
-<p>In case you're curious, the gory details are here.</p>
+<p>In case you're curious, the gory details are below.</p>
<pre>
-Error on operation $op for user $user: $errorMessage
-Error output (if any):
-$stderr
+$details
</pre>
#end def