I’ve been checking this every week or so and the scene seems to be pretty dismal. Does Raspberry Pi have any plans to address the huge supply/demand gap?