Yes, they are probably a little busy with this 'minor' request. I think the default font size (16 pt) is too big. It's interesting most think it's too small. Not sure why EN would remove a customizable aspect for it's users. Let us customize to the teeth if we want, but don't remove options.