I think your TLDR is accurate, but I think the mechanism is likely even simpler than Google looking at the last page visit. The docs are written by and for exp

I think your TLDR is accurate, but I think the mechanism is likely even simpler than Google looking at the last page visit. The docs are written by and for experienced programmers. They're very dense with information but light on examples and comments that explain things for dummies. Its popularity means the vast majority of Python users are novices who would find the docs hard to read. Geeksforgeeks et al are providing content for them and so is actually a better resource to show the majority of searchers (especially given that it's a basic string formatting question, something very likely to be searched by for novices).