pdf23ds comments on Less Wrong: Progress Report