No Group ID column on Manage Groups

There used to be a column on Contacts -> Manage Groups that displayed the Group ID number.

The column is no longer there (I checked in 4.6.14 and 4.7.3), and I cannot find any other way for users to identify the GID apart from spotting "gid=" in the URL when they look at the list of Contacts for that Group.

The documentation still refers to the missing Group ID column:
http://docs.civicrm.org/user/en/stable/organising-your-data/groups-and-tags/
https://book.civicrm.org/user/current/organising-your-data/groups-and-tags/

Rather than just updating the doco to tell users to spot "gid=" in the URL, it would be helpful to display the Group ID column in Manage Groups, or to display it on the Group's Settings and update the doco to match. Or something else that makes it easy for users to find the Group ID for use in tokens etc.