Rumah.com was a leading Indonesian property portal for buying, selling, and renting houses, apartments, and land before its closure on Dec 1, 2023.