Renaming the recently-created (r203830) props() range API to properties() for clarity.