development.html: improve comments.