@azonenberg @goatsarah @neil lenses need that extra, post infinity 'reach' to do the autofocusing. Not sure if any of them actually have the infinity properly marked; none of the few ones I have/had had it. My current one has something that doesn't feel very accurate. Looking at manual focus lenses, they implement a similar cursor, but most seem to have the extra info of FoD, which make hyper focusing easier.
I use a similar technique to what @goatsarah explained. I mostly use Jupiter.