This is not a blocker for the first demo since users are not expected to have their own accounts. It should however be mentioned in T161091: Documentation for demo wiki.

We will initially do the "pick a voice" option to prepare the basic functionality around user settings. This is because we have limited time left of the project and we and need to focus on the editor functionality. If time permits we will revisit the other options listed above.

Change 391006 had a related patch set uploaded (by Sebastian Berlin (WMSE); owner: Sebastian Berlin (WMSE)):
[mediawiki/extensions/Wikispeech@master] Add user preferences

https://gerrit.wikimedia.org/r/391006

There were some problems related to populating the options for voices automatically (from the TTS-server) e.g., having to send requests each time the user opened preferences. Because of this, the available voices are now hard coded in the config. It would be good to have a script that automatically fetches the available voice and put them in the config: T180343: Maintenance script to populate voices options.

Change 391006 merged by jenkins-bot:
[mediawiki/extensions/Wikispeech@master] Add user preferences

https://gerrit.wikimedia.org/r/391006

Mentioned in SAL (#wikimedia-cloud) [2018-04-13T07:28:34Z] <sebastian-wmse> Deploy latest from Git master: 81fca40 (T149302), 2a69b6b (T182205, T174799)

With the first version of the preferences page implemented, this task now just keeps track of the preferences that we want to add. I've created tasks for these and linked them in the list.