refresh_index_quietly(): express "optional" nature of index writing better