Add keyboard shortcuts
Reload on any html file
Fix setting platform
Update tooltips
Update labels
Set super key programmatically