The answers given here are rather enlightening, as this doesn't appear to be boredom outright, if at all.

Which makes the needling by Harris towards Trump a very good move as it turns a non-issue into a big one because of Trump's ego!