Delete devtools.md