K 10 svn:author V 6 eadler K 8 svn:date V 27 2012-03-20T02:53:54.000000Z K 7 svn:log V 198 - Remove broken instructions for installing GNATS on your local machine - Add information about useful GNATS tools (change-pr and friends) - Clean up mirroring instructions a bit Approved by: miwi END