Thanks Daniel for his great work as an editor over the past few
years.

This also removes Daniel from the list of editors shown at the footer
of our pages.

Fixes #166