Document the IRE.Target messages