make console.log the default, include docs-setup.js generated changes
put back the event argument