I've never heard of dotty-the-language before this morning, but have been a long-time dotty user. I was hoping to help antialias the name collision for others.
On a different note: I've noticed that HN is starting by to develop the drive-by-I-disagree-voting that Reddit has. That's unfortunate.