Either option seems great to me, but I think it would be more intuitive if you uploaded the patch directly :p
