Native SSH shell - font size in RDM options (and other)

Hi!

I try to change font size for all of my "SSH Shell" items.
Changing font size to PuTTY's default "Courier New, 10" works fine if I edit particular item settings.
But if I want to override font globally i.e. in File -> Options -> Types -> SSH/Telnet (Rebex) - it't doesn't work.

Is it a bug or my lack of knowledge?

RDM 13.0.6.0/64bit

Another SSH-related problems/proposals:
1. Your PuTTY item don't have option to use key-based auth with external SSH agent.
2. KiTTY has cool option to launch external SFTP/SCP client (WinSCP) by key combo (F3 / Shift+F3). It's cool time-saver cos you don't need to create/manage/see additional items/subitems for SFTP/SCP (configured SSH item is already enough). Would like to see something like this in RDM.