Re: [PD-dev] PR to revamp HTML manual