No important now, but I think we should just get rid of `docAppend` and use `<>` instead.