peer
[peer]
noun
a person of the same legal status: a jury of one's peers.
a person who is equal to another in abilities, qualifications, age, background, and social status. something of equal worth or quality:
Correct, this is not a "peer" request to avoid smelly foods, it's a demand for dhimmitude on the part of the non-Muslim kafirs.
Some enterprising kafir might have to the supermarket and get a jar of (Korean) kimchee, then dump it in a trash can at the library. Or all of the trash cans. If there's a liner in the trash can, remove it, put in the kimchee, then replace the liner. That should throw them off for a while. But do it late at night, since that will give the distinct garlic-laced fermented cabbage fumes a few hours to ripen and spread before the library opens in the morning.