Thread:Talk:Main Page/Missing button-related resource/reply

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.