100644 blob db17c67314fe0ce113ba390f4619962a3a177c1f	gen_boards_catalog.py
100644 blob ed5694675068eca7db0e03e35174c08a5b3d5e8e	gen_devicetree_rest.py
100644 blob 3678d0e3ea9f40e09f9a5afa377c46d0d509cb8e	gen_helpers.py
100644 blob 87d54e5032ecabba4fa9f1ee0c6f49af294543d1	redirects.py