add redirect for URL hard-coded into the default proguard config file,

and update related redirects for the entire /guide/developing/ path.

Change-Id: Ie23791e3765ff821d9abba220ebdde782d6439ed