Update devtools.rst