2 ms·But why? Genuinely curious, is there a real reason why this might be done?by notamy 7y agoBut why? Genuinely curious, is there a real reason why this might be done?vbezhenar 7y agoMay be he hates https :)lihaoyi 7y agoHonestly I do not remember at all why I put in that script tag. It was something to do with github-pages not supporting HTTPS properly in the past, the details escape me. I should probably remove it