What’s the Dot on Top of a Lowercase “i” Called?

A friend asked me this today and I had no idea. He went and looked it up, then reported back that it’s called a tittle. A tittle.