Merge topic 'if-space-dldt' 2c0d16df7b Help/command/if: fix formatting in precedence order overview Acked-by: Kitware Robot <kwrobot@kitware.com> Merge-request: !9777