User blog comment:MachineGunSuper/A HTN extension/@comment-33713741-20181101205510/@comment-37246647-20181109091134

That number at the bottom is HUGE! Of course, completely undersold by that word.