Send a message to Lean infobook