Change in jenkins[master]: Various UX improvements in change-queue jobs