Board Thread:Technical Updates/@comment-22224-20180305223805/@comment-9605025-20180306080855

Thanks for the link for further reading. However, with regards to directly answering my question, your response is sufficient. So, it sounds like, in your opinion, it would be what I thought; some script that just crawls through every CSS page, looks for "http://", and replaces it with "https://". In other words, a massive find-and-replace.