We’ve seen several usecases where such properties could be needed, but so far we’re trying to avoid adding them to the language. Single-receiver extension properties can be hard enough to explain, and this becomes even less obvious.
Note that your scenario can be partially solved with a member extension property defined in a base class that all of your activities extend.