We should document how to manually order by maxtime in #6638.