Let f:X→Y be proper birational morphism between two quasi-projective varieties over an algebraically closed field $k$. I am particularly interested in the case where the characteristic of $k$ is positive; Y is singular, X is smooth and both X and Y are not projective.

Let D be a closed subset of Y, let E=f^{-1}(D) and assume that f|_{X\E}:X\E→Y\D is an isomorphism.

Based on results in characteristic 0 (and on results on rigid cohomology) I expect that there is a long exact sequence of étale cohomology groups

H^{i}(Y,ℚ_{l})→
H^{i}(X,ℚ_{l})⊕
H^{i}(D,ℚ_{l})→
H^{i}(E,ℚ_{l})→
H^{i+1}(Y,ℚ_{l}).

I hoped this exact sequence is well-known and would appear in a standard text, but I had trouble identifying such a text. I can think of a prove using Cox's étale version of tubular neighbourhoods for E in X and D in Y and you might be able to compare them using the Mayer-Vietoris sequences in étale cohomology, but such a proof seems quite involved (you need to define the image of an étale tubular nhd under a proper morphism (which seems non-trivially to me) and check that for certain exact sequences taking direct or projective limits turns out to be an exact functor.)

Before working out the details I would like to ask whether anyone knows a reference for the above sequence or knows a simpler/nicer proof.