On Wed, Jan 23, 2019 at 03:16:30PM +0200, Willem Ferguson wrote: > The Android version does not have the correct version of the user manual. > There is a December 2018 version of the user manual. Fixed /D