I got really confused by that too. I think 99% of target audience are going to think "oh, it's a web-based terminal app". They should change the name before it's too late.
Haha, we were wondering how long it would take people to notice. Yeah, it is. We picked it before realizing it, and didn't know until we were getting permission for it. We'll probably change it soon, but since it plays a pretty minor role on the site, we decided to leave it until we could get some more time to search for a replacement.