Send a message to Lean Navigator