Update devtools
[ci skip] Update coverage setup
Nuke dead code