Merge "Encode F16 Bitmaps to 8-bit P3" into pi-dev