I find picking one's nose in public gross. In private, I try to tell myself I don't care what people do in their private spaces. But as you note, having a handkerchief of some tissue handy helps a ton.