I tried getting feedback from the docbooks moguls whether this was a suitable mapping, but got thundering silence. Any case, this works for me. I'm happy to take your word for it. I installed both the patches. Thanks very much.