diff --git a/download/acsl-1.18.pdf b/download/acsl-1.18.pdf
index db2f023098833c8bbcac970233df2fb97d119964..12d11eb9d292e01ad5adbc126e7173f26e6b2922 100755
Binary files a/download/acsl-1.18.pdf and b/download/acsl-1.18.pdf differ
diff --git a/download/acsl-implementation-26.0-beta-Iron.pdf b/download/acsl-implementation-26.0-beta-Iron.pdf
index 2e6672e79fbbbc0f68e277c88d7773d9d427094b..6ba203452e1bf3c68d60f279f559264bcdd346e7 100644
Binary files a/download/acsl-implementation-26.0-beta-Iron.pdf and b/download/acsl-implementation-26.0-beta-Iron.pdf differ
diff --git a/download/acsl.pdf b/download/acsl.pdf
index db2f023098833c8bbcac970233df2fb97d119964..47964560bfd944bb5e8fe24d2c7711c75ce38ded 100644
Binary files a/download/acsl.pdf and b/download/acsl.pdf differ
diff --git a/download/aorai-example-26.0-beta-Iron.tar.gz b/download/aorai-example-26.0-beta-Iron.tar.gz
index 09c728108ebb45d9afb3d3af35165631e715fc9b..c5c49a4fefae4c3398e51244eb055f06f318130a 100644
Binary files a/download/aorai-example-26.0-beta-Iron.tar.gz and b/download/aorai-example-26.0-beta-Iron.tar.gz differ
diff --git a/download/aorai-manual-26.0-beta-Iron.pdf b/download/aorai-manual-26.0-beta-Iron.pdf
index eccde2bae6f9a0d5494da708937aaf24258f3f4c..94f1ceb041dd5468d22d324f74601d591da498b9 100644
Binary files a/download/aorai-manual-26.0-beta-Iron.pdf and b/download/aorai-manual-26.0-beta-Iron.pdf differ
diff --git a/download/e-acsl/e-acsl-1.18.pdf b/download/e-acsl/e-acsl-1.18.pdf
index 033755caa5801fd277721f77d6dd05859b4c9029..c2b453f69ab481c34776387c7ff5c17862cc1ca0 100755
Binary files a/download/e-acsl/e-acsl-1.18.pdf and b/download/e-acsl/e-acsl-1.18.pdf differ
diff --git a/download/e-acsl/e-acsl-implementation-26.0-beta-Iron.pdf b/download/e-acsl/e-acsl-implementation-26.0-beta-Iron.pdf
index 57fba18b20329f32e75e5539a41430c14011168b..51e47824f0434bcb73d8617a158ea49e0aeeb312 100644
Binary files a/download/e-acsl/e-acsl-implementation-26.0-beta-Iron.pdf and b/download/e-acsl/e-acsl-implementation-26.0-beta-Iron.pdf differ
diff --git a/download/e-acsl/e-acsl-implementation.pdf b/download/e-acsl/e-acsl-implementation.pdf
index 57fba18b20329f32e75e5539a41430c14011168b..639391e75a0210e3269defe5c19c749c6d23a23f 100644
Binary files a/download/e-acsl/e-acsl-implementation.pdf and b/download/e-acsl/e-acsl-implementation.pdf differ
diff --git a/download/e-acsl/e-acsl-manual-26.0-beta-Iron.pdf b/download/e-acsl/e-acsl-manual-26.0-beta-Iron.pdf
index 205a791e3f2aecf96f3a897cc9c16c1ef3d5ccfa..5b81bb6e862fc200d2a15ff822872bd2b803721b 100644
Binary files a/download/e-acsl/e-acsl-manual-26.0-beta-Iron.pdf and b/download/e-acsl/e-acsl-manual-26.0-beta-Iron.pdf differ
diff --git a/download/e-acsl/e-acsl-manual.pdf b/download/e-acsl/e-acsl-manual.pdf
index 205a791e3f2aecf96f3a897cc9c16c1ef3d5ccfa..52d29a4dce68b02de2b873de09488338cf0362cf 100644
Binary files a/download/e-acsl/e-acsl-manual.pdf and b/download/e-acsl/e-acsl-manual.pdf differ
diff --git a/download/e-acsl/e-acsl.pdf b/download/e-acsl/e-acsl.pdf
index 033755caa5801fd277721f77d6dd05859b4c9029..c2b453f69ab481c34776387c7ff5c17862cc1ca0 100644
Binary files a/download/e-acsl/e-acsl.pdf and b/download/e-acsl/e-acsl.pdf differ
diff --git a/download/eva-manual-26.0-beta-Iron.pdf b/download/eva-manual-26.0-beta-Iron.pdf
index 7618387077450c8047da653779f19ac23a6be0d8..e292c7385e3e8c936f849a994d5842c2c38c10ff 100644
Binary files a/download/eva-manual-26.0-beta-Iron.pdf and b/download/eva-manual-26.0-beta-Iron.pdf differ
diff --git a/download/frama-c-26.0-beta-Iron.tar.gz b/download/frama-c-26.0-beta-Iron.tar.gz
index b563fc16b4bbaa1e66f0f01e82ebb83678d99af7..c68489acf167c57148f5eff1676fa42313e0ef4f 100644
Binary files a/download/frama-c-26.0-beta-Iron.tar.gz and b/download/frama-c-26.0-beta-Iron.tar.gz differ
diff --git a/download/frama-c-acsl-implementation.pdf b/download/frama-c-acsl-implementation.pdf
index 2e6672e79fbbbc0f68e277c88d7773d9d427094b..3b6e0a97afd646e24a8cfe6d1c815413831319c1 100644
Binary files a/download/frama-c-acsl-implementation.pdf and b/download/frama-c-acsl-implementation.pdf differ
diff --git a/download/frama-c-aorai-example.tar.gz b/download/frama-c-aorai-example.tar.gz
deleted file mode 100644
index 09c728108ebb45d9afb3d3af35165631e715fc9b..0000000000000000000000000000000000000000
Binary files a/download/frama-c-aorai-example.tar.gz and /dev/null differ
diff --git a/download/frama-c-aorai-manual.pdf b/download/frama-c-aorai-manual.pdf
index eccde2bae6f9a0d5494da708937aaf24258f3f4c..f0da1f5615c6b28b39c46df4bb60a807b9941a2a 100644
Binary files a/download/frama-c-aorai-manual.pdf and b/download/frama-c-aorai-manual.pdf differ
diff --git a/download/frama-c-eva-manual.pdf b/download/frama-c-eva-manual.pdf
index 7618387077450c8047da653779f19ac23a6be0d8..43e85c74664feb469c84d8c4d6bc65fe0b90b512 100644
Binary files a/download/frama-c-eva-manual.pdf and b/download/frama-c-eva-manual.pdf differ
diff --git a/download/frama-c-hello.tar.gz b/download/frama-c-hello.tar.gz
deleted file mode 100644
index d4b9926df0b7defceb6caf0b474c4a190c5ca8f0..0000000000000000000000000000000000000000
Binary files a/download/frama-c-hello.tar.gz and /dev/null differ
diff --git a/download/frama-c-metrics-manual.pdf b/download/frama-c-metrics-manual.pdf
index 02d005a48af4c026a2093fa7e56ddeb6e160ee05..d7e3be0d5ab007f52e2fe81a87e724265dfaa3ac 100644
Binary files a/download/frama-c-metrics-manual.pdf and b/download/frama-c-metrics-manual.pdf differ
diff --git a/download/frama-c-plugin-development-guide.pdf b/download/frama-c-plugin-development-guide.pdf
index 228424e7c7df6e5d8be1bc28b143bd25848717ac..16a51a3bd969c3ae6784714d869794155f75057e 100644
Binary files a/download/frama-c-plugin-development-guide.pdf and b/download/frama-c-plugin-development-guide.pdf differ
diff --git a/download/frama-c-rte-manual.pdf b/download/frama-c-rte-manual.pdf
index 0aa2c46bca38f202e9bae3c31edb9c1c084a7f96..7a6a0ab4f68068abfa213c17fe01bc2051a7a6ff 100644
Binary files a/download/frama-c-rte-manual.pdf and b/download/frama-c-rte-manual.pdf differ
diff --git a/download/frama-c-server-26.0-beta-Iron-api.tar.gz b/download/frama-c-server-26.0-beta-Iron-api.tar.gz
index 59aea58aea7b4cd5b6f36c0edab852d2b377661c..c3090db9cd5248e114de2aed3a860f18b23b4911 100644
Binary files a/download/frama-c-server-26.0-beta-Iron-api.tar.gz and b/download/frama-c-server-26.0-beta-Iron-api.tar.gz differ
diff --git a/download/frama-c-server-api.tar.gz b/download/frama-c-server-api.tar.gz
deleted file mode 100644
index 59aea58aea7b4cd5b6f36c0edab852d2b377661c..0000000000000000000000000000000000000000
Binary files a/download/frama-c-server-api.tar.gz and /dev/null differ
diff --git a/download/frama-c-source-dist.tar.gz b/download/frama-c-source-dist.tar.gz
index b563fc16b4bbaa1e66f0f01e82ebb83678d99af7..a09a56e68491cd81d87314c6fc3f1903f2eaf837 100644
Binary files a/download/frama-c-source-dist.tar.gz and b/download/frama-c-source-dist.tar.gz differ
diff --git a/download/frama-c-user-manual.pdf b/download/frama-c-user-manual.pdf
index 14fb5deede581cd6b16cde74ccff50f98152a8ce..aa215d26d30c6d2e40fd9529a6140bd49609c9f6 100644
Binary files a/download/frama-c-user-manual.pdf and b/download/frama-c-user-manual.pdf differ
diff --git a/download/frama-c-value-analysis.pdf b/download/frama-c-value-analysis.pdf
index 7618387077450c8047da653779f19ac23a6be0d8..43e85c74664feb469c84d8c4d6bc65fe0b90b512 100644
Binary files a/download/frama-c-value-analysis.pdf and b/download/frama-c-value-analysis.pdf differ
diff --git a/download/frama-c-wp-manual.pdf b/download/frama-c-wp-manual.pdf
index 785e2aa53f64807f31ae77323810af0c53e8899d..55a1ebb94f20c31a56c36e6a012b77299b3faa29 100644
Binary files a/download/frama-c-wp-manual.pdf and b/download/frama-c-wp-manual.pdf differ
diff --git a/download/hello-26.0-beta-Iron.tar.gz b/download/hello-26.0-beta-Iron.tar.gz
index d4b9926df0b7defceb6caf0b474c4a190c5ca8f0..1ef1ca4cc99f7720b759985281b1eca83207f7cb 100644
Binary files a/download/hello-26.0-beta-Iron.tar.gz and b/download/hello-26.0-beta-Iron.tar.gz differ
diff --git a/download/metrics-manual-26.0-beta-Iron.pdf b/download/metrics-manual-26.0-beta-Iron.pdf
index 02d005a48af4c026a2093fa7e56ddeb6e160ee05..7674abe875f40a1205d522dc28e5dd0afda7c99b 100644
Binary files a/download/metrics-manual-26.0-beta-Iron.pdf and b/download/metrics-manual-26.0-beta-Iron.pdf differ
diff --git a/download/plugin-development-guide-26.0-beta-Iron.pdf b/download/plugin-development-guide-26.0-beta-Iron.pdf
index 228424e7c7df6e5d8be1bc28b143bd25848717ac..c30855d46a0a93b3a131b3cc7edf1e9a2bfb1c92 100644
Binary files a/download/plugin-development-guide-26.0-beta-Iron.pdf and b/download/plugin-development-guide-26.0-beta-Iron.pdf differ
diff --git a/download/rte-manual-26.0-beta-Iron.pdf b/download/rte-manual-26.0-beta-Iron.pdf
index 0aa2c46bca38f202e9bae3c31edb9c1c084a7f96..ec40112cc36717f01990d75d6c0b87083284df01 100644
Binary files a/download/rte-manual-26.0-beta-Iron.pdf and b/download/rte-manual-26.0-beta-Iron.pdf differ
diff --git a/download/user-manual-26.0-beta-Iron.pdf b/download/user-manual-26.0-beta-Iron.pdf
index 14fb5deede581cd6b16cde74ccff50f98152a8ce..aacce2ea827d58f27de949860652e8e7d91ab084 100644
Binary files a/download/user-manual-26.0-beta-Iron.pdf and b/download/user-manual-26.0-beta-Iron.pdf differ
diff --git a/download/wp-manual-26.0-beta-Iron.pdf b/download/wp-manual-26.0-beta-Iron.pdf
index 785e2aa53f64807f31ae77323810af0c53e8899d..ce8dbbcd160d630727f7f881c9a0d5c244081a92 100644
Binary files a/download/wp-manual-26.0-beta-Iron.pdf and b/download/wp-manual-26.0-beta-Iron.pdf differ