Convert DBK to TEXT

DocBook sources (.dbk) are essentially text files and hence can be opened using any text editor. Should users want it, they can rename the extension to txt or text, but you can open text files in Notepad or similar programs regardless of their file extension through the File ► Open function.