Start of documentation for BaseXSession constructor