Merge main to release/dev17.0#11207

Merged

cartermp merged 3 commits intorelease/dev17.0from

merges/main-to-release/dev17.0

Mar 11, 2021

Commits on Mar 10, 2021

Replace some of the usages of List.zip |> List.map patterns (#11196)
En3Tho
authored
Don't trigger 'make binding recursive' in members (#11199)
cartermp
authored
Always prefer function sig help on space if applicable (#11200)
cartermp
authored