Maybe this is too obvious to spend words on, but it's really weird that neither actually define eye rubbing, specifically as being with the eyelids closed. The first one even has a section for the definition of eye rubbing and fully avoids defining it.