Dr. Batcher distribution permissions

Free to redistribute without any modifications of provided package.