Made F9 shortcut cross-platform
Added fix for HTML indentation