Handle button text with double quotes.

Set to Unix line endings in repo; the gitattributes file means they
will be converted to suit the user’s system.