doc: Post-release update.