A collection of useful batch commands, which are not very intuitive