Besides, to this point, any and all bugs or problems people have mentioned can all be laid at the feet of the MicroB developers since there's nothing I can do to fix them - they're all issues with how MicroB handles extensions.