OpenBSD site

I was wondering how you maintain and update such high quality content in OpenBSD's site.
Do you manually edit html files, use a cms, or something else? I am asking to shamelessly
copy your best practices. ;-)

Thanks,
Nick