If we really want to teach the importance of diversions, the message should be clearer about that. Perhaps something along the lines of:
There were 18 divergent transitions after warmup, which may compromise the validity of the estimates. See http://mc-stan.org/misc/warnings.html#divergent-transitions-after-warmup to find why this is a potential problem and how to remove them.