moving language options to separate menu, adding net style theme, adding
lossy_encoding option.
Marc, if you don't start changing HEAD cvs, I'll start messing with it
tomorrow.