Just fork git to handle zipping, formatting and ignoring metadata! Or just put your office document in the cloud and use the basic versioning it provides.
Git is a tool that makes it convenient and lightweight to keep past snapshots of a directory of text files (called a repository) and compare them. It also makes it easy to have multiple people work in parallel on the content of the directory, see the differences and merge everything into a common version. It is essential in programming, it’s called versioning or version control.
Although it is not easy to access for non programmers because it’s based on slightly obscure command lines. So it’s a bit of an over-engineering to use it for a single file edited by a single person. Especially because you can now put those on the cloud and have some form of version control that allows to easily compare and go back to previous versions graphically.
It may be worth it if it’s a long document that you work upon for a long time, such as a PhD thesis.
Well they did demonstrate that in a non trivial system of axioms, there will always be true statements that are unprovable. Do they kinda accepted that they will never be able to find everything. …wikipedia.org/…/Gödel's_incompleteness_theorems
Too obvious. More like, “We’re going to use slightly less lubricated ball bearings, position the aircraft on the market just where they will buy it, the maintenance specificity will not be documented, and it should kill a couple of important people in 50 years!”. (Loosely inspired by en.wikipedia.org/wiki/Stuxnet)
Marginalia is general term for whatever was drawn in the margins, I think a more precise term is drollery, from French drôle which means funny. en.m.wikipedia.org/wiki/Drollery