Bug#830143: mupdf's libjs can talk to the terminal and interact

[Kan-Ru Chen]

Thanks for the report. Why did you think this is Severity: serious and
Tags: security? Is the js console vulnerable to arbitrary code
execution?

Kanru