The current uf2 file seems to be forked from an early version of the micropython framework and does not include certain core libraries such as usocket. What would it take to add in these new libraries that may have been added after the fork?