HTML export: temporary increase recursion limit to 10k