Sync devtools
Deactivate mutant on CI
Fix whitespace, comments and typos