There are several locations within the QAPI source that are classified
as "Intro" text, even though semantically this is not true. Altering
these sections with an explicit Details: marker currently yields no
difference to rendered output. In the future, the inliner and/or the
addition of new stub sections *may* make these distinctions important.

These locations were identified using a heuristic patch to the QAPI doc
parser to emit a warning for Intro sections consisting of two or more
paragraphs without any other explicit section present in the source
code.

Signed-off-by: John Snow <jsnow@redhat.com>

---

[Review note: this patch does not change the *.ir output at all; there
is no visible difference whatsoever. The point of this patch is solely
to prevent yelping by the heuristic checker. It may or may not become
relevant later once the inliner is merged, I did not audit that far -
neither did I spend time attempting to improve the heuristic yelper,
believing "KISS". --js]

Signed-off-by: John Snow <jsnow@redhat.com>
---
 qapi/migration.json | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/qapi/migration.json b/qapi/migration.json
index 2142f74e3c7..558b4f145ed 100644
--- a/qapi/migration.json
+++ b/qapi/migration.json
@@ -1651,6 +1651,8 @@
 #
 # Xen uses this command to notify replication to trigger a checkpoint.
 #
+# Details:
+#
 # .. qmp-example::
 #
 #     -> { "execute": "xen-colo-do-checkpoint" }
@@ -1724,6 +1726,8 @@
 #
 # Pause a migration.  Currently it only supports postcopy.
 #
+# Details:
+#
 # .. qmp-example::
 #
 #     -> { "execute": "migrate-pause" }
-- 
2.53.0