Nice work ! 
About the paths, the doc says :
Replace downloaded_file_name.zip with the name of the /e/ OS file you downloaded in the previous section
Although it may be clear for some people that the example is for files in current working dir, it may say “… path and name, surrounded by double-quotes, of the /e/ OS file …”.
Feel free to ask here : Xiaomi - Redmi Note 8 - ginkgo - Documentation Suggestions