At the very end of our file, we add a simpler version of the gravitylab logo that we encountered at the top of the file:
It contains the name of the file, for consistency, and it guarantees
that no part of the file has been truncated in a process of copying,
editing or transmission over the net. While such mishaps are very
rare nowadays, they still can occur occasionally, and it seems prudent
to mark the intended end of the file. Meanwhile, our intrepid observer
has changed directions from which to observe the world.