hole-drilling.tex update