I just noticed that the package menu uses a mix of face and font-lock-face
properties. I can only imagine that was accidental. Is it preferable to
convert all to face or to font-lock-face?