Comment 4 for bug 185892

TerryG: Thanks, this bug is already in the right place.

The first issue still needs fixing.

I don't think we need to worry about the second issue - if people are using non-default terminal emulators then they can worry about that, documenting each terminal emulator would make the document unwieldy.