#815: Make board title and description modifiable with JavaScript.