I was wondering if we can expect an update of the Raspberry Pi version to 10.0.2. The version found in the repositories still reports 10.0.0. I'm not sure what that version number really means though for equivalence with the desktop version.