Open hoobtron opened 6 years ago
Short of an actual option exposed in the extension options, this is a super help! Thank you! Also, in terms of "the way extensions (and options) should behave and options they should provide," maybe it's not so accurate that this particular helper text provided by this PR should live with the specific module itself.
added hint for changing keyboard shortcut