Syntax highlighting of GDPR

MarsSI do comply with [[https://en.wikipedia.org/wiki/General_Data_Protection_Regulation|General Data Protection Regulation (GDPR)]], which went into effect Friday, May 25, 2018. This European regulation grants rights to
individuals related to the treatment of their personal data and involves changes in the manner with which we collect, save, and share your data.

=== The user database ===

MarsSI do store your first and last name, email address as well as your affiliation and project description. We do require this as we provide this free service to academic communities and must be able to verify your credentials. Your email address allows us to infrequently communicate with you in order to give you important notices about the service.

We do not share this data with any other third party. We do generate anonymous statistics from this database, such as "number of registered users", "number of institutions using the service" that we may share with the CNRS so we can justify the service relevance.

=== The batch processing database ===

MarsSI keeps a database of requested datasets and dataset processing which user requested. This data allows us to analyze MarsSI quality of service and identify and fix issues.

We do not share this data with any other third party. We do generate anonymous statistics from this database, such as "number of jobs ran this year" that we may share with the CNRS so we can justify the service relevance.