Ahh, from that section yes, since it works a bit different and you can delete multiple users at once. If you want to delete a user and all of their posts, just edit the individual user in the control panel. At the bottom of the page with all of their settings you'll see a tab for deleting the user. Clicking on that, you'll see the other option I mentioned above.