OT: phobos name

[akaz]

On Tuesday, 31 July 2012 at 13:22:57 UTC, Tobias Brandt wrote:
> On 31 July 2012 15:16, akaz <akaz at utopia.com> wrote:
> Phobos and Deimos are the two moons of Mars, which was the 
> original name of D.

That, on the other hand, was known to me. What I did not know, 
was the "fear" factor... Maybe the library should have been 
renamed to Deimos? :)

By the way, I live in the same city as this guy here. So you may 
say that I live with Phobos over my head:

http://davinci-marsdesign.blogspot.fr/2012/05/scale-of-phobos.html

Pretty... scary, isn't?