;;; GNU Guix web site
;;; Copyright © 2020 Florian Pelz <pelzflorian@pelzflorian.de>
;;;
;;; This file is part of the GNU Guix web site.
;;;
;;; The GNU Guix web site is free software; you can redistribute it and/or modify it
;;; under the terms of the GNU Affero General Public License as published by
;;; the Free Software Foundation; either version 3 of the License, or (at
;;; your option) any later version.
;;;
;;; The GNU Guix web site is distributed in the hope that it will be useful, but
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;;; GNU Affero General Public License for more details.
;;;
;;; You should have received a copy of the GNU Affero General Public License
;;; along with the GNU Guix web site.  If not, see <http://www.gnu.org/licenses/>.

(define-module (apps base templates privacy)
  #:use-module (apps base templates components)
  #:use-module (apps base templates theme)
  #:use-module (apps base types)
  #:use-module (apps base utils)
  #:use-module (apps i18n)
  #:export (privacy-t))

(define (privacy-t)
  "Return the Privacy page in SHTML."
  (theme
   #:title (C_ "webpage title" '("Privacy"))
   #:description
   (G_ "Information on how your personal data is processed while using
GNU Guix’ services.")
   #:keywords
   (string-split ;TRANSLATORS: |-separated list of webpage keywords
      (G_ "GNU|Linux|Unix|Free software|Libre software|Operating \
system|GNU Hurd|GNU Guix package manager|Privacy|Data Protection") #\|)
   #:active-menu-item (C_ "website menu" "About")
   #:css (list
          (guix-url "static/base/css/page.css"))
   #:crumbs (list (crumb (C_ "website menu" "Privacy") "./"))
   #:content
   `(main
     (section
      (@ (class "page centered-block limit-width"))
      ,(G_ `(h2 "How we use your personal information"))
      ,(G_
        `(p
          "Guix is made by people and organizations without a commercial
           interest in your personal information.  Nonetheless, some
           services for Guix necessarily process your data to provide the
           functionality you requested.  We keep this to a minimum."))

      ,(C_ "privacy policy section" `(h3 "Guix and Guix System"))
      ,(G_
        `(p
          "During your use of Guix’ software in its default configuration,
           your IP address may be revealed to the network services you use.
           Your IP address could be used to identify who uses the service and
           from which internet connection it is used.  These services include "
          ,(G_ (manual-href "substitute servers"
                            (G_ "en")
                            (G_ "Substitutes.html")))
          " hosted by "
          ,(G_ `(a (@ (href ,(guix-url "donate/"))) "our donors"))
          " for the Guix project but also "
          ,(G_ (manual-href "third-party services"
                            (G_ "en")
                            (G_ "Networking-Services.html")))
          " such as network, DNS and Network Time Protocol service providers.
           This is necessary to provide you with a usable and secure system
           environment.  It shall be assumed that these services log your use 
           of their service along with your IP address to make it easier to
           guard against malicious use.  The "
          ,(G_ `(a (@ (href ,(guix-url "manual/"))) "manual"))
          " describes how to change the configuration of Guix to disable such
           services or how to send data over the network via an HTTP(S) proxy,
           Tor or other means that maybe expose less of your personal data."))
      ,(G_
        `(p
          "When you tell Guix to install software for you, Guix will attempt
           to download said software from the respective upstream provider and
           various download mirrors, revealing your IP address.  Your use of
           third-party software installed via Guix is of course your
           responsibility."))
      ,(C_ "privacy policy section" `(h3 "Website"))
      ,(G_
        `(p
          "When you access Guix’ website, your request will be logged along
           with your IP address and the requested URL.  This enables the
           admins to more easily respond to excess usage or security attacks."))
      ,(G_
        `(p
          "For proper presentation, Guix loads videos and scripts from "
          ,(G_ `(a (@ (href "https://audio-video.gnu.org/"))
                   "audio-video.gnu.org")) " and "
          ,(G_ `(a (@ (href "https://kiwiirc.com/"))
                   "kiwiirc.com"))
          ".  Please see their websites for explanations how they use your
           data.  The website also contains hyperlinks to third-party sites.
           When you follow them, it is likely that your web browser is
           configured to report the Guix website URL you were previously
           visiting to the third-party site in a "
          ,(G_ `(a (@ (href "https://en.wikipedia.org/wiki/HTTP_referer"))
                   "Referer header"))
          "."))
      ,(C_ "privacy policy section"
           `(h3 "Mailing lists, IRC and other means of communication"))
      ,(G_
        `(p
          "You can "
          ,(G_ `(a (@ (href ,(guix-url "contact/")))
                   "contact the Guix community"))
          " via various third-party means.  Their respective privacy policy
           applies."))))))