> Eventually, Google replaced most references to SpottedFig.org in their documentation. They inexplicably left this one though

Small nitpick: this is spottedfig dot com, a domain which they still control.