In praise of boredom at work. (September 2022)