Average home prices in greater Austin fell by more than 10% between July 2022 and April 2023.