Alternatively, you could use JavaScript to get the value of the input. It's just an HTML textarea element.
Reply on news.ycombinator.com