Give a stub-example of message_filter().

  We can't install one by default for obvious reasons.