@eliasulrich Interesting but the weighting of the search results might need some work still. E.g. if I search for “CSS margin-left” I get an ancient niche Stack Overflow question with merely three upvotes, I get some tutorials, jQuery and Typo3 bug reports, a CSS test from 2002, web platform documentation discontinued a decade ago etc. W3C finally comes up in position 17 but it isn’t really the relevant standard. MDN doesn’t come up in the first ten pages. I have to add “MDN” to the search query explicitly, and then it’s still the third result.