Hi David,
Thank you for the confirmation.
By "never", I meant the same thing - that ES will "eventually" remove any unavailable master nodes from the voting configuration if the node is shut down as long as the property cluster.auto_shrink_voting_configuration is set to true.
Thanks,
AR.