Better docs for Match.Optional.