Update some texts

Dependencies

• [2] TEQJC3HX Add 03-nix-container
• [3] X3HISPCS Add 05-static-container
• [4] QSIJOFRU Tweak 03
• [5] VX6OFBL3 Tweak 05
• [6] 42DGMBYM Fix CI

Change contents

• replacement in 05-static-container/demo-inside-nix-develop.sh at line 15
  [3.6532]→[3.6532:6558](∅→∅)
  − h We can see it\'s there:
  [3.6532]

  [3.6558]
  + h We can see it\'s there, and it\'s tiny!
• replacement in 03-nix-container/demo-inside-nix-develop.sh at line 23
  [2.6338]→[2.6338:6403](∅→∅)
  − h The image is very minimal, e.g. there is no interactive shell:
  [2.6338]

  [2.6403]
  + h The image is somewhat minimal, e.g. there is no interactive shell: