Andreas Enge Tue, 19 Feb 2019 14:48:37 -0800
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
