Hi Jon, As Eli writes, in principle @node index should work, and its contents should be appended in the file index.html to the contents of the normal top level (unless you've changed that name, but it doesn't sound like you have).
Can you create a test case? Thanks, Karl
