"Rossijskaja Gosudarstvennaja Biblioteka" is indeed the official name; scholarly citations to materials held there use RGB instead of the previous GBL. Similarly, RNB has replaced the familiar GPB (Leningrad "Publichka").