My guess is it's a lot easier to add a bunch of licenses into the documentation than it is to exclude diagnostic tools from production builds.