If they aren't written to the BaseX logs, but would be written to Jetty logs, then I wonder if it would be helpful to have a few hints on turning Jetty logging on (and finding out where the log files get written) either in the BaseX documentation wiki or in comments in the default jetty.xml and web.xml.
I have now activated Jetty's logging output [1]. I think this change will simplify debugging in general , no matter if RESTXQ, REST, or WebDAV is used. As usual, a new snapshot is online.
Christian