Replace extension by a call to keyboard_manager
Merge pull request #147 from juhasch/toggle-comments

Replace extension by a call to keyboard_manager