[sr-dev] git:master: db_flatstore: Rename main docbook file and fix documentation.