[gwern]

That explains why essentially no DejaVu files show up. I was shocked to test out a .djvu search and find almost nothing.