Use thick Unicode symbols for DONE and NOT_DONE in /scripts/github_todo.js