Convert VeraCrypt gdoc to Markdown

[sonniki]

We have a gdoc on VeraCrypt here: https://docs.google.com/document/d/1IVH3d1QSa2ZwEA0I8WaED1MeoVnaqDNMJY-Ko9Eg-Ss/edit?tab=t.0#heading=h.8pu3znkowk72

We want to convert it into a Markdown in our docs/ dir.
Instructions here should be helpful.
There is also this script that you can use although be careful and double-check the output, there might be corner cases that are not handled properly.

[sonniki]

FYI @gpsaggese