I think boredom is maybe the wrong thing. I can't be too engaged in something. That seems to sabotage the process. I can't play video games or watch some exciting movie (or scroll HN ;-)
Physical work can help. Or just doing something that's not too engaging.
Physical work can help. Or just doing something that's not too engaging.