Release 1.3
Use bold face for pivotal control sequences
Adding custom menu for selected text (commented out for 1.3)