This reverts commit 849746d7. With 28db7ef0, the property name is once again "hovered:", so this change is no longer required.