Can we move that to a devtools/ folder ? It would be nice to be able to have one folder with all the devtools related scripts and one with all the devtools related css files.