Ignore, That's the only option for me. Because if I pay heed to them I will end up being more irritated. Go to something peaceful or Do something that interests me, there will always be People around to spoil the day, it's important to learn to deal with them and manage them without making it worse for us. Have a good day 😊🙏