Yep. It is actually automated, it renewed on its own ages ago, but reloading the web server to pick up the new cert just silently failed. Should be resolved now.

Also dosent all modern operating systems have extracting files Just build in regardless of the format?

No.