Would it be possible to get an update on the headers in micropython/inc/microbit/ by the authors? Right now there is no permission to use, modify or redistribute these headers as far as i understand it. An update would be much appreciated.