I found another thread (UART with Micro:bit and App Inventor) that helps with this, referring to a different extension, found at:
http://iot.appinventor.mit.edu/assets/resources/com.bbc.microbit.profile.aix
I take it this is the newer of the two extensions I've found? Is it linked somewhere that I missed?
This seems promising.