Closed mcolen closed 4 years ago
https://developer.chrome.com/extensions/options
Mojin opined that the effort involved in implementing and using this option drastically outweighs the effort needed to simply invoke the keyboard shortcut to remove the header.
https://developer.chrome.com/extensions/options