diff --git a/documentation/current/eiffelstudio/_images/AutoTest_information_icon.png b/documentation/current/eiffelstudio/_images/AutoTest_information_icon.png
new file mode 100644
index 00000000..cf4b949c
Binary files /dev/null and b/documentation/current/eiffelstudio/_images/AutoTest_information_icon.png differ
diff --git a/documentation/current/eiffelstudio/_images/AutoTest_information_icon.png.data b/documentation/current/eiffelstudio/_images/AutoTest_information_icon.png.data
new file mode 100644
index 00000000..ad705db4
--- /dev/null
+++ b/documentation/current/eiffelstudio/_images/AutoTest_information_icon.png.data
@@ -0,0 +1,3 @@
+title=AutoTest information icon
+author=halw
+path=content/autotest-information-icon
diff --git a/documentation/current/eiffelstudio/_images/AutoTest_interface_results_-_Execution.png b/documentation/current/eiffelstudio/_images/AutoTest_interface_results_-_Execution.png
new file mode 100644
index 00000000..6e3a95fb
Binary files /dev/null and b/documentation/current/eiffelstudio/_images/AutoTest_interface_results_-_Execution.png differ
diff --git a/documentation/current/eiffelstudio/_images/AutoTest_interface_results_-_Execution.png.data b/documentation/current/eiffelstudio/_images/AutoTest_interface_results_-_Execution.png.data
new file mode 100644
index 00000000..445c6af4
--- /dev/null
+++ b/documentation/current/eiffelstudio/_images/AutoTest_interface_results_-_Execution.png.data
@@ -0,0 +1,3 @@
+title=AutoTest interface results execution
+author=halw
+path=content/autotest-interface-results-execution
diff --git a/documentation/current/eiffelstudio/_images/AutoTest_test_results_details_0.png b/documentation/current/eiffelstudio/_images/AutoTest_test_results_details_0.png
new file mode 100644
index 00000000..273066d6
Binary files /dev/null and b/documentation/current/eiffelstudio/_images/AutoTest_test_results_details_0.png differ
diff --git a/documentation/current/eiffelstudio/_images/AutoTest_test_results_details_0.png.data b/documentation/current/eiffelstudio/_images/AutoTest_test_results_details_0.png.data
new file mode 100644
index 00000000..397473bd
--- /dev/null
+++ b/documentation/current/eiffelstudio/_images/AutoTest_test_results_details_0.png.data
@@ -0,0 +1,3 @@
+title=AutoTest test results details
+author=halw
+path=content/autotest-test-results-details
diff --git a/documentation/current/eiffelstudio/_images/AutoTest_testing_pane_execution_results.png b/documentation/current/eiffelstudio/_images/AutoTest_testing_pane_execution_results.png
new file mode 100644
index 00000000..474f8ed2
Binary files /dev/null and b/documentation/current/eiffelstudio/_images/AutoTest_testing_pane_execution_results.png differ
diff --git a/documentation/current/eiffelstudio/_images/AutoTest_testing_pane_execution_results.png.data b/documentation/current/eiffelstudio/_images/AutoTest_testing_pane_execution_results.png.data
new file mode 100644
index 00000000..3c026bd2
--- /dev/null
+++ b/documentation/current/eiffelstudio/_images/AutoTest_testing_pane_execution_results.png.data
@@ -0,0 +1,3 @@
+title=AutoTest testing pane execution results
+author=halw
+path=content/autotest-testing-pane-execution-results
diff --git a/documentation/current/method/eiffel-tutorial-et/et-lexical-conventions-and-style-rules.wiki b/documentation/current/method/eiffel-tutorial-et/et-lexical-conventions-and-style-rules.wiki
index 6ece85c2..3a801bcb 100644
--- a/documentation/current/method/eiffel-tutorial-et/et-lexical-conventions-and-style-rules.wiki
+++ b/documentation/current/method/eiffel-tutorial-et/et-lexical-conventions-and-style-rules.wiki
@@ -100,7 +100,7 @@ Features of reusable classes should use consistent names. A set of standard name
 
 For local entities and formal arguments of routines, it is all right to use abbreviated names, since these identifiers only have a local scope, and choosing a loud name would give them too much pretense, leading to potential conflicts with features. 
 
-The complete set of style rules applied by ISE is available on the web in both <span> [http://www.eiffel.com/doc/manuals/language/style/ HTML]  </span> and <span> [http://www.eiffel.com/doc/manuals/language/style/style.pdf PDF]  </span> forms. These rules are an integral part of the Eiffel method; in quality software, there is no such thing as a detail. Applying them systematically promotes consistency between projects in the Eiffel world, enhances reusability, and facilitates everyone's work. 
+The complete set of style rules applied by ISE is available on the web in both <span> [http://archive.eiffel.com/doc/manuals/language/style/page.html HTML]  </span> and <span> [http://archive.eiffel.com/doc/manuals/language/style/style.pdf PDF]  </span> forms. These rules are an integral part of the Eiffel method; in quality software, there is no such thing as a detail. Applying them systematically promotes consistency between projects in the Eiffel world, enhances reusability, and facilitates everyone's work.