by optimalsolver·8mo ago·view on hn ↗You're absolutely right! That was a category 5. Thanks for pointing that out.