add devel to allow linting of console.log()