potentially good ways to "mitigate" boredom:
- avoid boring situations
- develop inner peace and aliveness such that one is able to enjoy and have fun during outwardly tedious tasks *that are worth doing*
but if it's natural to call an intervention "mitigation" that's a red flag