Here's a comparison between the manual and the PDK.