"Напомним, что настройки проекта открываются при нажатии кнопка-карандаша, расположенного справа от имени проекта."
Так вот, этой кнопки нет нигде, из-за этого испытываю большие ограничения при использовании.

Эта документация осталась от старой версии редактора. Сейчас ВСЕ настройки в правой панели.