Handle @pxref as well in extracting japanese texinfo file
Some more r7rs docs