Anyway, let me know what you prefer (including keeping `ReflectionElementExtensions`), and let's go with that. Other than this comment, there's nothing that prevents me from pulling this now, and I'd rather prefer doing that before you add more stuff (that might, hypothetically, prevent me from pulling).