I know the user causing those log entries personally. They use Opera Mini on an ancient SymbianOS phone.

Yes, it works like you describe. They use a compressed protocol between the client and the proxy. The DOM might not even be based on HTML, not sure about that.