At Thu, 09 Mar 2023 11:53:26 +0900 (JST), I wrote
> It turned out to be not as simple as I thought, though...
The error message and the location where the error condition is
checked don't match, but making the messages more generic may not be
helpful for users..
regards.
--
Kyotaro Horiguchi
NTT Open Source Software Center