PR #5240 screenshots: terminal right-click context menu