> could the hdlist be kept seperately uncompressed and > then be searched for the info online? >
Sure. I suggested this once. But this requires big changes to mirror/installation media structure and all tools that maintain them (upload script, gendistrib etc). I do not think anybody has time to do it now; as something for post-8.2 it may be considered but I never have seen any reply to my earlier suggestion. -andrej
