InGaN-based red light-emitting diodes: from traditional to micro-LEDs. (15th December 2021)