This seems to have been applied with commit 828d3765a71ce1b74d1ab122c84d5c16eabf98b9 in May 2019. -- Efraim Flashner אפרים פלשנר GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted