"and", "or", bitwise or shortcircuit, what we get searching docs

[StefanKarpinski]

The constructive improvements that seem plausible are adding help entries for ?and and ?or, which can just reference && and ||. Adding cross-references between the logical operators and control flow sections with some explanation of the differences. PRs for either improvements would be welcomed.