A minor upgrade to the Posts Stats plug-in – the numbers are displayed with commas now, grouped on thousands. Without this, the larger numbers were annoying to watch. Anyway, that’s that. PS: I still haven’t found out a way to include config for disabling menu item.