We should try hard to make the tests better to read.  Can we e.g. replace all occurrences of `DocAppend` with `<>`?