We already have that information, there’s no need to add it redundantly: Back in 2024 @erictapen already correctly proposed to index modules with a package option and map the default value back to the package search. (Related discussion: Zürich 24.11 ZHF hackathon report) This is a fix that can be done entirely at the search end of things, and would fix the worst part of “searching a package while you need the module” problem.
11 Likes