Fails to export existing bookmarks in some DjVu files of version 25. However, this is not consistently true over all DjVu files that are version 25.
As an example, I added bookmarks to a DjVu file (version 22) using Bookmark Tool, then used DjVu Document Express Enterprise (5.10 build 946) to add OCR layer. Before adding this OCR layer, I was able to export the bookmarks. After adding the OCR layer, I could no longer do so. Using DjVuVersion.exe to drop the version number to 22 had no effect on the inability to export bookmarks.
Attached in a Rar archive are two small DjVu files. The one labeled "(after OCR) 3 pages.djvu" is the same as "(before OCR) 3 pages.djvu" except that it has an OCR layer added on using DjVu Document Express Enterprise.