I want to integrate the online documentation a bit nicer into the editor itself. Is it somehow possible to query that page and get the contents of the searched-for entries?
Best case would be, if we can get the queried site content as JSON, that’d be nice, but very unlikely I think.
https://github.com/godotengine/godot-docs
This is the source for Godot’s documentation. You could clone the repo (in reST format) or download one of the releases (in HTML format) offline, so you wouldn’t even need to query anything online.