OT: phobos name

[akaz]

On Tuesday, 31 July 2012 at 13:28:35 UTC, akaz wrote:
> 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? :)

http://en.wikipedia.org/wiki/Deimos_(moon)

OMG: "It is named after Deimos, a figure representing dread in 
Greek Mythology."

C'mon, Mars was really the God of War... His moons really show it.

Fear&Dread????