That is one current option, yes. So of course the file is by no means exhaustive. And actually, deleting feeds you're not interested in could be a lot easier than finding feeds you are.

//