doc/: Consistently write `rôle', rather than `role', in prose.