Remove devtools note

Using devtools can be a very complicated task, as there are many options and it is not the simplest of interfaces. This is best mentioned elsewhere at least, rather than at the beginning, or left for coaches to explain.

fixes #11