+ /// Update the cache with all bibfiles in use (including bibfiles
+ /// of loaded child documents).
+ void updateBibfilesCache();
+ /// Return the cache with all bibfiles in use (including bibfiles
+ /// of loaded child documents).
+ std::vector<std::string> const & getBibfilesCache() const;