Easy way to force the discarding of the user's font cache file (especially after the recent changes).