Comment Re:Oh, the irony... (Score 1) 116
It's actually where we got the name, so it's not so much irony as an inside joke. You're right, though... Most people don't notice.
The solution of this problem is trivial and is left as an exercise for the reader.
