I mentioned extensions in my original comment. The point stands that everyone should have access to the same basic tools. If some people do not use an extensi

I mentioned extensions in my original comment. The point stands that everyone should have access to the same basic tools. If some people do not use an extension, they will not be able to browse topics as quickly. This hurts discussion quality.