Nothing on these pages is hand maintained and nothing is a separate dataset. Each one is a filter over directory.json with its own count, generated 2026-08-25 and reconciled against tools_recount.py. If the data changes, every page below changes with it on the next build.