What we get from the CONNECT store are in LRX format which has DRM. BookDesigner creates LRS files and these are then converted to LRF for loading into the Reader.
My best guess is that they are LRS = Librie Reader Source, LRF = Librie Reader Format, and LRX = Librie Reader Xasperating.