3.16: don't automatically flush docs