Dear Standardizer!
Every change takes some effort and time. Let us first thank
Michael Covington for maintaining this list patiently 2009-11 to 2020-08
and now
IMDEA & Manuel Hermenegildo for continuing maintenance!
((Of course this message serves as a test message to see that
everything is working fine such that I can withdraw the other list I
hastly created.))
