Fix #2418: don't automatically save manually populated docs