PDF download button is now kind of hidden!

[De-Ma]

Hi,
we really like that Gitbook offers PDF export/download.
In the past, there was an Export PDF button on the right side.

Now it got moved in to the dotted Menu.

My colleagues and I needed some time to find it, as it is kind of hidden in this sub menu. We don't think this is a good solution and customers will hardly be able to find this feature.
The PDF download feature was one of the biggest selling points for us.
Are there plans to make this more obvious and accessible in the future?

It is nice to see that constant work is put in to Gitbooks development, we have also noticed some PDF export improvements and are looking forward for the future development in this regard.