Added "developers' notes".