change in how " (dev)" is appended at the banner
Merge branch 'stable' into dev