(In reply to comment #5) > Please move discussion of them to bug #13156.
Sorry, make that bug #12459.
(In reply to comment #5)
> Please move discussion of them to bug #13156.
Sorry, make that bug #12459.