Some further fixes:
This Oxygen is much more efficient at handling huge library headers. - What to do when faced with thousands of API declarations. Lazy parsing is one solution. But I have not dared to try the José API headers yet; currently around 74 megabytes
X
