Evaluate adding Registry.crawl(until=URI)

This is a potential performance enhancement / laziness enhancement -- we could stop crawling a registry when a particular URI of desire is found -- perhaps relatedly we could store crawled URIs in a trie or something so we go directly to the most likely location to find the resource (e.g. look in http://example.com/foo first if we're looking for http://example.com/foo/bar).

crawl(until=None) (the default) would crawl the entire set of uncrawled resources, i.e. the current behavior.

Doing this should first come with some benchmarking.

Beginne am Einstiegspunkt Registry.crawl und prüfe, wie crawl(until=None) derzeit Ressourcen verarbeitet, die noch nicht gecrawlt wurden. Lege die angeforderten Benchmarks fest, bevor du das Verhalten änderst, und bestimme anschließend, wie sich ein optionales URI-Ziel und eine trie-basierte Suche auf das Design auswirken würden. Erledigt ist die Aufgabe, wenn das Ziel das Crawlen beenden kann, sobald es gefunden wurde, während der Standard weiterhin alle noch nicht gecrawlten Ressourcen crawlt und die Benchmark-Ergebnisse aufgezeichnet werden.