Comment by ethegwo

It's currently 3MB, and we've done almost nothing to reduce the file size, so we can expect it to get even smaller.