Hi, I noticed a big difference between the number of ports on freebsd.org/ports/ and on freshports.org. Currently, it's 33348 vs. 41346. The freebsd.org's number equals roughly the number of lines of a current INDEX, but how does FreshPorts count? Best, Moritz