Node redirection pages are output if NODE_FILES is set (see Invoking
texi2any in Texinfo).
It is possible to change completely how node redirection pages are generated by redefining the following function reference:
$node_redirection_file_content format_node_redirection_page ($converter, \%element) ¶\%element is a node element needing a redirection page. A redirection page is needed if the node file name is not the file name expected for HTML cross manual references (see HTML Xref in Texinfo).
Returns the content of the node redirection file.