Add the original license and copyright notice (#1).