More to the point Craig and moderators like Steve are doing us a great favor by running this forum for us. The are not paid for it. So let us not burden them further by turning them into headmasters/ forum cops. We should show enough maturity by ignoring such H/W posting. This is not a bar or street where one must take offence at every gesture or comment.
An occasional joke is fine but it is not necessary to slap a guy down.
I too recollect my days as a student and the blind spots (of knowledge) I had then and occasional bouts of panic they caused.