Yes, this is known. "your" mail archive does not list the followup, but
here it is:
In 4.6, if you do not use the workaround, it can take several minutes
for the rebooted master to become master again (depending on your max
states setting in pf.conf), but it should do so in the end.
This has been fixed in 4.7.