v2.5.2: Fixed "Hide Top Bar" functionality

This version fixes the "Hide Top Bar" functionality, which was no longer working after a previous update of the BigQuery interface.