If getModuleProperties() really maps to what we call module options elsewhere, we should definitely rename that method to getModuleOptions() or something similar (noting that it's maybe not "options" but "valued options", ie effective values to the options)