These notes are now part of the
Wiki
.