Subject: Close

From: Andreas Enge <[email-masked]>
Date: Tue, 19 Feb 2019 23:47:43 +0100

There have been so many changes since this bug was opened that it is not
meaningful any more, and it was in any case more of "wishlist type".
Closing it.

Andreas