@Override
    public String toTex() {
        // auto-add header boilerplate
        StringBuilder sb = new StringBuilder();
        while (!stack.isEmpty()) {
            Story curr = stack.pop().getStory();
            if (curr != null) {
                // useTex = TRUE, authors cannot be shown in Tex (per story, anyway)
                sb.append(curr.getText(true, false, showTitles, showSeries));
                for (StorySkeleton sequel : curr.getSequels()) {
                    stack.push(sequel);
                }
            }
        }
        return sb.toString();
    }