an additional "Material" search option,

pretty simple,

you have a list of what is already downloaded by a user,
can you make that history available?

a Materials listing of the already downloaded list seems
the simpler option.

(I also develop using AppEngine so I appreciate the difficulties in excluding already downloaded material from search results)