Hi all, I've just released version 0.4.4 of the Realty Manager extension (extension key: "realty"). This version is a bug-fix release, and the last maintenance release before version 0.5.0. Updating is highly recommended for all users of 0.4.x. The new version can be downloaded from the TER.