https://mingredbestcheapprice.blogspot.com/2024/01/dump-python-dictionary-to-json-file.html