This is not a direct answer to the original question, but is what I am interested in.

I found the following in 12.14(iii) of Brylinski and Deligne's paper "Central Extensions of Reductive Groups by K_2". I'll quote the relevant paragraph and comment afterwards.

Suppose that V is henselian and essentially of finite type over a field. For j (resp i) the inclusion of G (resp G_s) in G_V, Quillen resolution gives a short exact sequence of sheaves on G_V.

0 --> K<sub>2</sub> --> j<sub>*</sub>K<sub>2</sub> --> i<sub>*</sub>K<sub>1</sub>(D) --> 0.

The K's are sheafified K-theory on the big Zariski site. G is the generic fibre of a smooth group scheme G_V, with special fibre G_s.

What I don't know is what "essentially of finite type over a field" means, nor how this exact sequence arises.