Merge "Remove devtool from docs."