Use different font sizes for headers (especially markdown)
Fix key bindings management in GWT + shortcut to generate