Thanks a lot. Looks good to me!

On Tue, May 31, 2022, 2:03 PM Paul Eggert <eggert@cs.ucla.edu> wrote:

Thanks for the info about Iran in the late 1970s. I installed the
attached proposed patch.