5.43K: Mangle toplevel; use another uglifyjs module (why does it have two?)