Comments by "RR" (@RR-vk2tl) on "makecode pro" channel.