> tooling for auto-completing members of attribute sets That's a great start, but it would be nice to know what the expected type of the member is! Often it's

> tooling for auto-completing members of attribute sets That's a great start, but it would be nice to know what the expected type of the member is! Often it's another attribute set, a list, or even a function, and it's impossible to tell what type is expected without looking at where the member is used.