Voids For All version history

  1. # 2022-10-02: first finished/published version
  2. # 2023-02-08: fixed a few errors I noticed in the documentation; add a line about undefined behavior (which I failed to mention in the first version) (also a minor change to the code that shouldn't affect anything)