fixup! #1094 have a variant of doc.i that contains the documentation unmerged