No mention of it at all. I did notice him calling someone on the carpet for the mispronunciation of "Alito." Certain details are important but others are not.
Good posts, btw, you and mad_as_he$$.