October 2023 housing data, laconic version