Comment by fb03

Genuine question: WHy do you think it is awful? I found "Harvey OS" to have quite a nice ring to it.

It does not sound to me like a blockbuster name, but sounds good enough, like "Rust" :)