The top documents tagged [nonempty extension]