Hi, i just installed debian/gnome and am discovering it. At first, few things sound strange: where is man here? There is only a strange xman :-[ The /usr/share/man is actually there ... an apropos? whatis? `xtem --help` says that `xterm -fs 14` should work, but the font size does not change! Just a few observations. Except for that im enjoying the system :-) Thanks ...