grsecurity forums

is the php-code for the website available as open-source, or does it use a well known content management system?

I'm really looking for something as "clean" as the grsec-site

thanks in advance, even though it's highly off-topic.