pdf produced with page number and developer courtesy.