@Carreau  It's convenient, but not really necessary (simple copying will do the same). There is already quite a lot of details in this section, so I wouldn't add more.