Contributors to dr.tex