Checkpoint.com uses WordPress?

CheckPoint’s site was down today:

and returning this error:

WordPress is a somewhat complex CMS to secure. As a CMS it is estimated to have 60%+ of the market-share, and uses PHP and MySQL/MariaDB. There are tons of plug-ins, including quite a few that are security-based.

Would have been interesting to have had a presentation at CPX on how CheckPoint secures their site. Maybe a checklist on perimeter controls paired with host-based?

I would be surprised if Check Point uses only its own products to secure the WordPress portion.