pages*: fix brand and technical names (#12145)

* pages*: fix Python, Java, pacman, apt, *zip*, xz, tar, git, RPM and grep names

* pages*: fix brand and technical names

Co-authored-by: Lena <126529524+acuteenvy@users.noreply.github.com>

* fluxctl, gitmoji, in-toto-run, osv-scanner: replace `git` with Git

* bzegrep: enclose egrep with backticks

Co-authored-by: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com>

* git-bug: use Git instead of `git`

Co-authored-by: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com>

* git-bug: use Git instead of `git`

Co-authored-by: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com>

* git-force-clone: use Git instead of `git`

Co-authored-by: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com>

* gitwatch: use Git instead of `git`

Co-authored-by: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com>

* hub-init: use Git instead of `git`

Co-authored-by: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com>

* pages.*: use Linux instead of GNU/Linux

---------

Co-authored-by: Lena <126529524+acuteenvy@users.noreply.github.com>
Co-authored-by: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com>

pages/common/gzip.md

@@ -1,9 +1,9 @@
 # gzip
 
-> Compress/uncompress files with gzip compression (LZ77).
+> Compress/uncompress files with `gzip` compression (LZ77).
 > More information: <https://www.gnu.org/software/gzip/manual/gzip.html>.
 
-- Compress a file, replacing it with a gzipped compressed version:
+- Compress a file, replacing it with a `gzip` archive:
 
 `gzip {{file.ext}}`
 
@@ -19,7 +19,7 @@
 
 `gzip -c {{file.ext}} > {{compressed_file.ext.gz}}`
 
-- Decompress a gzipped file specifying the output filename:
+- Decompress a `gzip` archive specifying the output filename:
 
 `gzip -c -d {{file.ext}}.gz > {{uncompressed_file.ext}}`