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.

Working on this very site. So nothing cool, no

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

No.