On Tue, Jun 15, 2021 at 05:35:01PM +0200, Ulf Hansson wrote:

> Let's see where we end up with this. My concern at this point is that
> it could spread to more users, which would make it even more difficult
> to remove.

Perhaps mark it as deprecated while people figure out how to fix the
existing user?