Index: openacs-4/packages/proctoring-support/catalog/proctoring-support.en_US.ISO-8859-1.xml
===================================================================
RCS file: /usr/local/cvsroot/openacs-4/packages/proctoring-support/catalog/Attic/proctoring-support.en_US.ISO-8859-1.xml,v
diff -u -N -r1.1.2.9 -r1.1.2.10
--- openacs-4/packages/proctoring-support/catalog/proctoring-support.en_US.ISO-8859-1.xml	15 Sep 2020 15:09:08 -0000	1.1.2.9
+++ openacs-4/packages/proctoring-support/catalog/proctoring-support.en_US.ISO-8859-1.xml	16 Sep 2020 06:27:22 -0000	1.1.2.10
@@ -197,7 +197,7 @@
   <msg key="microphone_not_found">No microphone was recognized. Possible causes are:&lt;ul&gt;&lt;li&gt;&lt;b&gt;The active microphone is not selected in Google Chrome&lt;/b&gt;: In Google Chrome go to \&#34;Settings\&#34; | \&#34;Privacy and security\&#34; | \&#34;Site Settings\&#34; | \&#34;Permissions\&#34; | \&#34;Microphone\&#34; and select the correct microphone.&lt;/li&gt;&lt;li&gt;&lt;b&gt;There is no internal microphone&lt;/b&gt;: (Windows) Open the control panel of your computer, go to \&#34;Sound\&#34; | \&#34;Input\&#34; and check that a microphone is listed. (MacOS) Under \&#34;System Settings\&#34; go to \&#34;Security\&#34; | \&#34;Privacy\&#34; and check whether a microphone is listed under \&#34;Microphone\&#34; in the sidebar. If no microphone is listed, connect an external microphone to your computer.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The internal microphone is defect or not installed correctly&lt;/b&gt;: (Windows) Open the control panel of your computer, go to \&#34;Sound\&#34; | \&#34;Input\&#34; and test the microphone displayed there. Troubleshoot if necessary. (MacOS) Restart the computer to reinstall the sound driver.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone driver is out of date&lt;/b&gt;: (Windows) Open the device manager and go to \&#34;Audioinputs and -outputs\&#34;. Right click on your microphone and update the microphone&#39;s driver. (MacOS) Restart the computer to reinstall the sound driver.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The external microphone is not connected&lt;/b&gt;: Connect the external microphone to your computer.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The external microphone is not switched on&lt;/b&gt;: Switch on the external microphone if it has aswitch.&lt;/li&gt;&lt;/ul&gt;</msg>
   <msg key="microphone_not_readable">Your microphone cannot be recorded because it has no permission to do so. Possible causes are:&lt;ul&gt;&lt;li&gt;&lt;b&gt;The microphone is blocked in Google Chrome&lt;/b&gt;: In Google Chrome go to \&#34;Settings\&#34; | \&#34;Privacy and security\&#34; | \&#34;Site Settings\&#34; | \&#34;Permissions\&#34; | \&#34;Microphone\&#34;. If the slider is on \&#34;Blocked\&#34;, then set it to \&#34;Ask before accessing (recommended)\&#34;.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone is blocked for %system_name% in Google Chrome&lt;/b&gt;: In Google Chrome go to \&#34;Settings\&#34; | \&#34;Privacy and security\&#34; | \&#34;Site Settings\&#34; | \&#34;Permissions\&#34; | \&#34;Microphone\&#34;. Check whether there are links to WU websites under \&#34;Block\&#34;. Delete these websites from the list by clicking on the garbage can symbol.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone is blocked for Google Chrome (MacOS)&lt;/b&gt;: Go to \&#34;System Preferences\&#34; and \&#34;Security\&#34; | \&#34;Privacy\&#34; and then on \&#34;Microphone\&#34; in the sidebar. Activate the checkbox next to Google Chrome. Restart Google Chrome.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone is blocked in the system settings for apps and desktop apps (Windows)&lt;/b&gt;: Open the system settings of your computer and go to \&#34;Apps\&#34; and \&#34;Desktop apps\&#34;. Check that apps and desktop apps can access your microphone. If not, then set the slider there to \&#34;On\&#34;.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone is blocked in the system settings (Windows)&lt;/b&gt;: Open the system settings of your computer and go to \&#34;Microphone\&#34;. Check that microphone access is enabled for this device. If not, go to \&#34;Change\&#34; to activate microphone access.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone has been switched off to save power (Windows)&lt;/b&gt;: Connect your computer to a power source. Open the system settings of your computer and go to \&#34;Microphone\&#34;. Check that microphone access is still enabled for this device. If not, go to \&#34;Change\&#34; to reactivate microphone access.&lt;/li&gt;&lt;/ul&gt;</msg>
   <msg key="microphone_permission_denied">Your microphone cannot be recorded because it has no permission to do so. Possible causes are:&lt;ul&gt;&lt;li&gt;&lt;b&gt;The microphone is blocked in Google Chrome&lt;/b&gt;: In Google Chrome go to \&#34;Settings\&#34; | \&#34;Privacy and security\&#34; | \&#34;Site Settings\&#34; | \&#34;Permissions\&#34; | \&#34;Microphone\&#34;. If the slider is on \&#34;Blocked\&#34;, then set it to \&#34;Ask before accessing (recommended)\&#34;.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone is blocked for %system_name% in Google Chrome&lt;/b&gt;: In Google Chrome go to \&#34;Settings\&#34; | \&#34;Privacy and security\&#34; | \&#34;Site Settings\&#34; | \&#34;Permissions\&#34; | \&#34;Microphone\&#34;. Check whether there are links to WU websites under \&#34;Block\&#34;. Delete these websites from the list by clicking on the garbage can symbol.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone is blocked for Google Chrome (MacOS)&lt;/b&gt;: Go to \&#34;System Preferences\&#34; and \&#34;Security\&#34; | \&#34;Privacy\&#34; and then on \&#34;Microphone\&#34; in the sidebar. Activate the checkbox next to Google Chrome. Restart Google Chrome.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone is blocked in the system settings for apps and desktop apps (Windows)&lt;/b&gt;: Open the system settings of your computer and go to \&#34;Apps\&#34; and \&#34;Desktop apps\&#34;. Check that apps and desktop apps can access your microphone. If not, then set the slider there to \&#34;On\&#34;.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone is blocked in the system settings (Windows)&lt;/b&gt;: Open the system settings of your computer and go to \&#34;Microphone\&#34;. Check that microphone access is enabled for this device. If not, go to \&#34;Change\&#34; to activate microphone access.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone has been switched off to save power (Windows)&lt;/b&gt;: Connect your computer to a power source. Open the system settings of your computer and go to \&#34;Microphone\&#34;. Check that microphone access is still enabled for this device. If not, go to \&#34;Change\&#34; to reactivate microphone access.&lt;/li&gt;&lt;/ul&gt;</msg>
-  <msg key="microphone_volume_is_too_low">The microphone&#39;s sound recording is insufficient. Possible causes are:&lt;ul&gt;&lt;li&gt;&lt;b&gt;The volume of the microphone is set too low&lt;/b&gt;: Turn up the input volume. (Windows) Openyour computer&#39;s control panel and go to \&#34;Sound\&#34; | \&#34;Input\&#34; | \&#34;Device properties\&#34;. Adjust the volume here. (MacOS) Click on \&#34;System Preferences\&#34; | \&#34;Sound\&#34; and open the \&#34;Input\&#34; tab.Adjust the input volume on your microphone.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone is muted&lt;/b&gt;: Unmute it. Check the corresponding keyboard commands and all hardware settings such as the mute function directly in the sound settings or on the microphone / headset itself.&lt;/li&gt;&lt;/ul&gt;</msg>
+  <msg key="microphone_volume_is_too_low">The microphone&#39;s sound recording is insufficient. Possible causes are:&lt;ul&gt;&lt;li&gt;&lt;b&gt;The volume of the microphone is set too low&lt;/b&gt;: Turn up the input volume. (Windows) Open your computer&#39;s control panel and go to \&#34;Sound\&#34; | \&#34;Input\&#34; | \&#34;Device properties\&#34;. Adjust the volume here. (MacOS) Click on \&#34;System Preferences\&#34; | \&#34;Sound\&#34; and open the \&#34;Input\&#34; tab.Adjust the input volume on your microphone.&lt;/li&gt;&lt;li&gt;&lt;b&gt;The microphone is muted&lt;/b&gt;: Unmute it. Check the corresponding keyboard commands and all hardware settings such as the mute function directly in the sound settings or on the microphone / headset itself.&lt;/li&gt;&lt;/ul&gt;</msg>
   <msg key="missing_stream_message">Online Supervision has ended. However, it is still activated for this exam. Please close Google Chrome to completely exit the exam environment. Alternatively, you can restart the automated online supervision: By clicking \&#34;OK\&#34;, you are re-entering the exam environment.</msg>
   <msg key="mobile_devices_are_unsupported">Mobile devices are unsupported.</msg>
   <msg key="OnlineExam">Online Exam</msg>