Corrected documentation for the devtools class (with @yoshime)