A reminder to all that an alternative source of documentation which is maintained by the community is Wikichip.