A new section to learn the use of optics with circe may be derived from the new available docs at https://travisbrown.github.io/circe/tut/optics.html