<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
  <META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
  <META NAME="GENERATOR" CONTENT="GtkHTML/3.16.1">
</HEAD>
<BODY>
On Tue, 2007-11-20 at 21:46 +0100, Thilo Six wrote:
<BLOCKQUOTE TYPE=CITE>
<PRE>
<FONT COLOR="#000000">cd ~/.mozilla/firefox/_RaNdOm_/bookmarkbackups/</FONT>

<FONT COLOR="#000000">bye</FONT>
</PRE>
</BLOCKQUOTE>
Just thought I might add, you can re-import that html file of bookmarks with Bookmarks>Organize Bookmarks>File>Import. You may want to copy the file somewhere in case this somehow clobbers the backup file.
</BODY>
</HTML>