I see that the relentless advance of 'bored of', at the expense of 'bored with' and 'bored by', has reached even these august columns.