Hey, somehow I didn't know Marginalia stuff exists; now looking at the search and encyclopedia, both look very useful, thank you for creating this!