re: #366 EPR-radar

Either ‘encyclopedias’ or ‘libraries’ might be a better punch line for that.

I was considering volumes.