This is useful to know. I’d still advocate not picking your nose publicly out of consideration for others, however. Nobody wants to watch you eat your snot. Some time ago I started teaching my kids that it’s in the same category as masturbation. Nothing to be ashamed of. Not harmful. Certainly not “bad”. But something to keep private from people who don’t want to watch.