Removing unnecessary seedrandom-min.js licensing info.