If I remember correctly (I read it on php.net somewhere) the manual at least uses SQLite for performance reasons. An educated guess would lead me along the lines of thinking that perhaps they also use that for their 'main site'.