[docbook] List the symbols in the order of appearance on the Symbols panel
[docbook] Extracts the id of <procedure> into the Symbols panel
[docbook] Extracts the id of <simplesect> into the Symbols panel
[docbook] Corrects two typos in tagnames
[docbook] Adds DocBook 5.1 tags to the list of elements