When I see them I always crush them with some coral pliers or nippers. They never used to bother me but since I've been adding more nutrients to feed the corals, their population has become noticeably larger. While they aren't a serious "pest" I would encourage their removal. They really can explode in population if not kept in check.