Returning values from a request in luminus

strangely it is named as an DMS file. even though it is 5 bytes still it needs do ask me if I want to open it in a text editor. and still, this works fine: (vals (:1 “wfs”)