The top documents tagged [number of dojo cards]