Issue #323: Rename "Admin menu" to "Admin bar".