Is there any way to get Google to update? Sometimes the built-in search is inadequate. Here's an example search. As a workaround I've used docs.micropython.org.