miniblog.

One advantage I've come to appreciate about Dash/Zeal docsets: it's really nice having focused search. The text search is constrained to the languages I care about enough to download the docset, substantially increasing the relevance. In Google I'd need to specify the language.

GitHub tracks download counts for releases, so I can see that macOS releases of difftastic downloaded are downloaded much less frequently! I don't know if it's proportional to usage though. All these operating systems have several package managers.

I like Discord's model of usernames, where I can be wilfred#12345 even if other people have the same name. Perhaps package managers could do the same thing? It'd save the hassle with name collisions that many systems have. You could also compare download numbers if unsure.