Yes, it was lost some months ago. It created a border for the green button. It's in the backups but too small a problem to recover from them, AFAIK.