As it turns out, the issue lays within the official documentation:
On the replica Replica 1 being promoted to become the source, issue STOP REPLICA and RESET MASTER.
should be instead:
On the replica Replica 1 being promoted to become the source, issue STOP REPLICA and RESET REPLICA ALL.
I recreated both MySQL servers from scratch and applied the 7 steps from the first post and replaced the 8th one by:
- Reset the replica with 'RESET REPLICA ALL;'
On the primary before the switchover:
+---------------+----------+--------------+------------------+---------------------------------------------+
| File | Position | Binlog_Do_DB | Binlog_Ignore_DB | Executed_Gtid_Set |
+---------------+----------+--------------+------------------+---------------------------------------------+
| binlog.000010 | 1380513 | | | a4228b68-e5b8-11ed-ac40-525400003001:1-1615 |
+---------------+----------+--------------+------------------+---------------------------------------------+
On the new primary (former replica) after the switchover:
+---------------+----------+--------------+------------------+---------------------------------------------+
| File | Position | Binlog_Do_DB | Binlog_Ignore_DB | Executed_Gtid_Set |
+---------------+----------+--------------+------------------+---------------------------------------------+
| binlog.000010 | 6841 | | | 61ab9e32-e5b9-11ed-b4aa-525400003002:1-511,
a4228b68-e5b8-11ed-ac40-525400003001:1-1615 |
+---------------+----------+--------------+------------------+---------------------------------------------+
It looks fine, except for the position which may or may not be a problem.