@cvrebert I added it as a subsection of Quickstart, is that what you mean?