- Fix DOCS option [1] (based on) PR: ports/182566 [1] Submitted by: Alan Hicks <ahicks p-o.co.uk> (maintainer) [1]