http interface: outsource JavaScript, turn input box into textarea