Subject: some more wishlist bugs and moreinfo tags

From: Paul Eggert <[email-masked]>
Date: Mon, 21 Sep 2020 12:47:14 -0700

severity 32704 wishlist
severity 40395 wishlist
severity 42245 wishlist
tags 42419 + moreinfo
tags 42623 + moreinfo
severity 42762 wishlist