right now the registry of libraries lists all the headers in a library repo, where as in reality the user may only need to care about 1 or 2 header files. Would it be possible to add a “headers” field to the library.json so that the registry isn’t polluted with private header files?
Something similar to the library.properties “includes=”