Directory for third-party manuals of which we keep a local cache or mirror copy