But in terms of recorded single-family home sales, just two city mansions — one of which is the Astor Street mansion owned by Gov. JB Pritzker — have …