<SNIP>The package version differences were gathered by listing all installed packages on a vanilla PR1.2 device with dpkg -l, doing the same on a vanilla PR1.3 device and creating a diff between the two.<SNIP>