diotalevi is a mispelling of Diotallevi, a character in one of Umberto Eco's books. I don't know Italian and didn't realize my mistake until months later. I kept the mispelling because it wasn't clear from google whether one 'l' was wrong or not.