Is it just me or is everyone having trouble accessing the seL4 website?

I’m getting the following:

MOD_PYTHON ERROR

ProcessId:      29222

Interpreter:    'sel4.systems.keg.ertos.in.nicta.com.au'

ServerName:     'sel4.systems.keg.ertos.in.nicta.com.au'

DocumentRoot:   '/var/www/seL4/content'

URI:            '/Community/mailman/home.pml'

Location:       '/Community'

Directory:      None

Filename:       '/var/www/seL4/content/Community/mailman/home.pml'

PathInfo:       None

Phase:          'PythonHandler'

Handler:        'ertos'

Traceback (most recent call last):

  File "/usr/lib/python2.7/dist-packages/mod_python/importer.py", line 1537, in HandlerDispatch

    default=default_handler, arg=req, silent=hlist.silent)

  File "/usr/lib/python2.7/dist-packages/mod_python/importer.py", line 1202, in _process_target

    module = import_module(module_name, path=path)

  File "/usr/lib/python2.7/dist-packages/mod_python/importer.py", line 304, in import_module

    return __import__(module_name, {}, {}, ['*'])

  File "/var/www/seL4/code/ertos.py", line 9, in <module>

    from bib import html_bib, html_abstract, yearlist, get_bibtex

  File "/var/www/seL4/code/bib.py", line 11, in <module>

    rg = cfg.get('core', 'rg')

  File "/usr/lib/python2.7/ConfigParser.py", line 618, in get

    raise NoOptionError(option, section)

NoOptionError: No option 'rg' in section: 'core'

Keith