Users get confused by the difference between "Pin to Task Manager" and "Add to Panel (Widget)", and we get bugs about this.
This patch resolves that confusion by only showing "Add to Panel (Widget)" when there's no Task Manager widget.
BUG: 390817
FIXED-IN: 5.1314.0