no, they are not using it. They use glyphicons (the png in version 2 and the font in the upcoming version 3). However, FontAwesome is meant as a drop-in replacement (they use the same classes than BS 2 for the corresponding icons)