Godot 4.2 was released on Nov 2023.
Since v3.5, godot upstream docs have used some new HTML layouts and file
structures. Since older versions still need to be scrapable, this
introduces another set of versioned filters for godot.
This change also makes small changes to the filters to handle the
current website markup for the previous godot doc versions.
The @gdscript and @globalscope entries can't currently be browsed, because of
an encoding mismatch between the frontend and backend; I've identified a
possible fix for that but will PR that separately.
Jesse van Herk