My son is wiping at his face or quickly stroking his head regularly throughout the day. He does seem to have done this for a few months but over the past few weeks he is doing it A LOT, more so when he is concentrating. Do you think it is just a habit or something which we should report to the health visitor? He seems ok otherwise.