Sync devtools
Kill mutants in HTML and XML builder