Fix a critical bug in the documentation configuration

This PR fixes a bug in the use of ConfigParser.get introduced by #1378: the fallback argument to ConfigParser.get can only be used as a keyword argument.