Agile Drop Down list of the Boards selection

The new GreenHopper 6.0.2 features the removal of the board selection drop-down which is implemented for performance as mentioned in the following:

• Navigation change yields faster performance

However, it will be good if the board selection is still available since some users are used to it. Perhaps an option to enable or disable it would also be feasible.