Paco De la Cruz has added a new tab to filter the documentation by hosts, adapter, BRE policies and BRE Vocabularies. It is available for download as BizTalk Server 2013 Documenter 5.1.7 from Codeplex.