Hi Stefano, I packed my comments to these library documentation patches into a patch set I just submitted a few minutes ago. This is the only one I didn't cover yet. I will try to review this one tomorrow evening. Sorry for the delay! [patch snipped] Alexander