Наткнулся на баг.
Если создать проект - открыть его - в дерево последних проектов добавится Project1
Если потом переименовать проект - то в дереве он не переименовывается. - так и остается висеть - жирным - Project1.
Если закрыть этот проект и открыть заново (уже переименованный), то получаются два активных проекта (оба жирным шрифтом).
И из истории удаляться Project1 не желает
- видимо потому, что он активный.