Search sometimes does not work
Console seems to show the following error:
Uncaught SyntaxError: JSON.parse: unexpected end of data at line 1 column 1 of the JSON data
onreadystatechange https://docs.gtk.org/gtk4/search.js:319
fetchJSON https://docs.gtk.org/gtk4/search.js:314
onInitSearch https://docs.gtk.org/gtk4/search.js:50
onDidLoad https://docs.gtk.org/gtk4/main.js:19
addEventListener eval:4
<anonymous> https://docs.gtk.org/gtk4/main.js:10
search.js:319:31
onreadystatechange https://docs.gtk.org/gtk4/search.js:319
(Async: EventHandlerNonNull)
fetchJSON https://docs.gtk.org/gtk4/search.js:314
onInitSearch https://docs.gtk.org/gtk4/search.js:50
onDidLoad https://docs.gtk.org/gtk4/main.js:19
(Async: EventListener.handleEvent)
addEventListener eval:4
<anonymous> https://docs.gtk.org/gtk4/main.js:10
Maybe it's trying to search before the whole data has been downloaded?
This is on Firefox.