Comments by "" (@user-wk1vp2vo5z) on "makecode pro" channel.