Missing $\varepsilon$/$\eta$ in Kan extension diagrams

[ktgw0316]

This is a diagram for right Kan extension in Mac Lane’s 'Categories for the Working Mathematician':

but, in CTFP, $\varepsilon$ is omitted from the diagram in 27.1:
https://github.com/hmemcpy/milewski-ctfp-pdf/blob/master/src/content/3.11/images/kan7.jpg

and it seems inconsistent with the explanation of the diagram:

This is quite a mouthful, but it can be visualized in this nice diagram

So, in my opinion, the $\varepsilon$ should not be omitted here. From a reader's point of view, something like following diagram (but "A" instead of "1") would be the easiest to understand:
https://github.com/hmemcpy/milewski-ctfp-pdf/blob/master/src/content/3.11/images/kan5.jpg

The same applies on 27.3 left Kan extension. $\eta$ should not be omitted in:
https://github.com/hmemcpy/milewski-ctfp-pdf/blob/master/src/content/3.11/images/kan12.jpg
and replacing the diagram with following one (and add "A") would solve this issue:
https://github.com/hmemcpy/milewski-ctfp-pdf/blob/master/src/content/3.11/images/kan112.jpg

[drupol]

Thanks for the heads-up! Please submit the PR and we'll discuss from there.

[BartoszMilewski]

The idea was to separate the main part of the definition from the universal property (like separating out the definition of a span from the universal construction of the product). But I'm not particularly married to this idea, especially that the UC diagrams were missing.