The top documents tagged [lecture manual annotation]