The top documents tagged [type annotations dont]