[hilbert42]

Yeah, as I said to teitoklien one has to do that at the time, trouble is I usually don't. :-)

[hu3]

Yes! It would be nice if the [favorite] link could be shown without opening.