Here git reflog would help with restoring previous states of HEAD in git as it described here.

Tried to check if pugixml parser is streamable or not with searching for “stream” in Safari. Surprise: Not found. But for “iostream” - 2 matches. Safari by default searches by words, not by substrings. But this could be changed as it explained here. Changing defaults don’t work in macOS 10.15 (Safari 3.0.2). But dropdown from changing from “Starts With” to “Contains” is still there. Strange I’ve never spotted this dropdown. How many searches might I have missed with such inconsistent defaults!