Since this bug is fixed, it would probably be more productive to move discussion of further changes to a different bug.
Since this bug is fixed, it would probably be more productive to move
discussion of further changes to a different bug.