What are the best results on (Sobolev space) trace theorems for $C^{k,1}$ domains?

For $k=0$, e.g., when the domain is Lipschitz, from e.g. the works of [Martin Costabel][1] and [Zhonghai Ding][2], it is known that the trace map is bounded (and has a continuous right inverse) from $H^{s}(\Omega)$ to $H^{s-1/2}(\partial\Omega)$ for $s\in(\frac12,\frac32)$. Moreover the endpoint case $s=\frac32$ is claimed by [David Jerison and Carlos Kenig][3] but a proof seems to have not appeared. A part of the question is whether or not the claimed proof appeared. The other part is if there is a proof of the obvious extension of this result to $C^{k,1}$ domains. If so, what is the situation of the corresponding endpoint (i.e., $s=k+\frac32$) result?

**Update:** Essentially complete answer has been found, and recorded below.

  [1]: http://www.ams.org/mathscinet-getitem?mr=937473
  [2]: http://www.ams.org/mathscinet-getitem?mr=1301021
  [3]: http://www.ams.org/mathscinet-getitem?mr=716504