I did not realize when I asked a year ago, but I guess that one reason there hasn't been follow up is that Google introduced a (presumably proprietary) service in 2013 called Android Device Manager and renamed Find My Device in 2017 that is available on most Android phones in the wild (ie with the Google bits) https://en.wikipedia.org/wiki/Android_(operating_system)#Technical_security_features