Comments editor: Allow using the Ctrl+Tab key combo to insert a literal tab