Experiences in Developing and Testing BBC Micro: bit Games in a K-12 Coding Club during the COVID-19 Pandemic | IEEE Conference Publication | IEEE Xplore