OpenBSD site

[misc nick]

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