The following patch would make it more consistent: I applied it. Thanks. Excuse my self-ignorance, but is texdoc maintained anywhere besides TL? Thanks, K