Re: fix the DEVELOPER-HINTS file to reflect how things are really done