It's always useful, when you have large MySQL dumps, to be able to extract a specific table from the middle of the file. And preferably without having to re-insert everything or open the file and manually select from it... 🙂

Here's a small script that generates an SQL backup of all MySQL users from a server.