Well, I had another try. I did it in elisp, which seemed to be a more suitable choice for producing Texinfo. Besides, it might also be more Cool. Thanks.