Lead Developer
That’s exactly how I would do it.
For example, here’s the install button from the home page here:
<a class="button green" href="https://generatepress.com/install-generatepress">Install <i class="fa fa-power-off"><!-- download icon--></i></a>
Documentation: http://docs.generatepress.com/
Adding CSS: http://docs.generatepress.com/article/adding-css/
Ongoing Development: https://generatepress.com/ongoing-development