Isn't this the main change though?  Removing this require will allow bootstrap to load just fine without the circularity?  Not the rename to ``tools.help-lint``?