Hi all, I've just released version 0.3.0 of the Realty Manager extension (extension key: "realty"). This is a new feature release with lots of nice features and bug fixes. Before upgrading, please make sure to read the upgrade notes in the manual so you won't break your site.