The name is pretty uninspiring, and will become totally wrong once #4 gets done. Tentative proposal: Rubel, after the person who invented the paper offset printing press (which was the successor to letter presses).
