Little warts/cysts on the margins of the eyelids are common: when should they be removed?