Extended documentation

For the time being, the batch obsolete command