Mention Tor Launcher location in design doc.