Decide on a source format for the Tor Browser User Manual
The "short user manual" is our primary user documentation these days. We want to turn it into the Tor Browser User Manual. The first step is to decide on a source format before starting the conversion. We compared a few options (#10978 (closed)) and then chose Mallard as source format. That concludes this task.