The GUI for users to download binaries will be presented as a dynamic form loaded within https://mariadb.org/download.

The form will be implemented as a widget - to be inserted inside the page. The data will be loaded via REST API calls to downloads.mariadb.org.

The widget will include both the form, as well as download verification data (signature, md5sum).

A separate widget (or the same one if it turns out to be easier technically) will be done for the repository configuration tool. The repository configuration tool - based on certain selections done by the user - generates a set of command line instructions that can be run to quickly setup the package manager of a distro to install the latest MariaDB from our repositories.