Suppress duplicate info() messages. This was done long for notice(), but info() was overlooked at that time.