[PPL-devel] [Fwd: [Bug 485623] New: docs in wrong directory]