Seems Brian Inglis expressed concerns about licensing issues and R. Diez gave up on it, adding it to picolib instead. Is there an actual blocker on this?