marine pedants used to be nearly extinct, but they seem to be on the rebound.