Fix README extension.
Documentation changes: give a clear way to build developer tools.