The top documents tagged [default manager]