Since we're already off-topic, let me plug my Chrome extension that I frequently use to fix pages just like this: https://chrome.google.com/webstore/detail/tex

Since we're already off-topic, let me plug my Chrome extension that I frequently use to fix pages just like this: https://chrome.google.com/webstore/detail/text-fix/ofafkoecdjghmmjibcbelabbllfoeidb https://chrome.google.com/webstore/detail/text-fix/ofafkoecd...