Hi, I see that a massive font renaming is underway. Is the new font policy posted anywhere? I'm curious so that we can get the Ubuntu fonts to match the Debian naming standard. Jeremy Bicha