Prevent automatic upgrade from Windows 7 to Windows 10

Follow these instructions

Embedding fonts in Windows-generated PDF files

Problem: PDF files generated from Office use TrueType fonts, which are not embedded into the PDF.

Solution: Run this script:

#!/bin/bash
mv $1 $1.bak

gs -dCompatibilityLevel=1.4 \
    -dPDFSETTINGS=/screen \
    -dCompressFonts=true \
    -dSubsetFonts=true \
    -dNOPAUSE \
    -dBATCH \
    -sDEVICE=pdfwrite \
    -sOutputFile=$1 \
    -c ".setpdfwrite <</NeverEmbed [ ]>> setdistillerparams" \
    -f $1.bak

pdffonts $1

See also: 

• http://my-inner-geek.blogspot.com/2014/09/finding-type-3-fonts-in-pdfs.html
• http://my-inner-geek.blogspot.com/2011/01/making-pdfs-compatible-with-ieee-style.html

I/O error when booting Linux-on-USB through Virtualbox on Windows 7

This article provides remedy (in particular the setting to remove the read-only attribute).

Interesting Linux distributions

- elementary OS - looks very clean and seems to be suitable for weaker PCs (1 GB RAM, 15 GB disk space)
- Kubuntu 15.04 with Plasma 5 desktop - beautiful UI; for more powerful PCs