Add more details to \'etale descent for modifications

Last time fixing this proof I hope