Update to graphics-pln/miniltx.ltx to match the June 2020 LaTeX release which defines a new \mathcolor command.