mirage/mirage: PR #1531: revise manpage sections

@580308c

Stages:

• 🟠 x86_64-debian-10-4.13
• ✔️ arm64-debian-10-4.13 (6m24s)

History:

• 09/05/2024 19:02 ✔️ @b972cf2 (6h01m)
• 09/05/2024 14:36 🟡 @3996b10 (7m49s)
• 09/05/2024 14:28 ✔️ @0868fb1 (7m37s)
• 09/05/2024 14:24 🟠 @165702b
• 09/05/2024 14:16 🟠 @580308c (6m24s)
• 09/05/2024 13:07 🟡 @9e64875 (5m37s)
• 09/05/2024 13:06 🟠 @a340c82
• 09/05/2024 11:43 ✔️ @1584f37 (20m23s)