doc tweaks now that fewer-discards branch has landed