pythontools.cfg: cookiecutter
firefox 28.0
html5dev.cfg