L.E. Probably I can answer myself to this question:
I logged in to the web interface without entering my private key. Then I checked out Web Logs menu. The filenames I found there are not encrypted so I presume that no filenames are encrypted on the server.
↧
pystha on "Private Key Encryption: Filenames"
↧