<div class="markdown">
<p dir="auto">The problem mentioned yesterday (archive shortcut not working in the 64-bits version) went away after restarting the Mac.</p>

<hr>

<p dir="auto">Jean-Pierre Gattuso | <a href="http://www.obs-vlfr.fr/%7Egattuso">http://www.obs-vlfr.fr/~gattuso</a></p>

</div>