They had to destroy Homer because he was not german but greek.

Had Homer been german, they would never have questioned a national hero.

Minor point of contention: There was no "Germany" to have "national heroes" in 1795. F.A. Wolf was Prussian.

Prussia, in turn, was very much in love with classicism (like pretty much everybody at the time), which pretty much amounts to worshipping Hellenic and Roman culture.

Less than 100 people were killed by the Inquisition in Spain, according to https://en.wikipedia.org/wiki/File:Number_of_alleged_witches...

"Number of alleged witches and wizards" - I assume this does not include heretics and Jews/conversos?

What is the source for the numbers? The label "Early modern area" does not inspire confidence.

They want to define happiness as the ultimate goal in life.

For me it is not happiness, but intelligence.

Two weeks ago, the economist asked: Can too many brainy people be a dangerous thing? [1]

Yes. It is dangerous. For them.

They want to push happiness. They want to replace GDP with a Gross National Happiness.

Their wet dream is a populace of happy but unquestioning people.

[1] https://www.economist.com/finance-and-economics/2020/10/24/c...

You can use camomile library to handle unicode strings, count code points, perform locale aware lowercase / uppercase, etc

For utf8 regexes, you can use Pcre in ocaml, which is faster than camomile regexes.

Make a html, embed the images in base64 using mhtifier.py, and rename the html as doc. Word will open it without problems.

Further instructions:

http://sebsauvage.net/wiki/doku.php?id=word_document_generat...

There is a novel about that. "Schild's Ladder", by Greg Egan.

But in that novel, the sphere of destruction expands only at c/2.

If it expanded at C, it would be a shorter book.

How to disable the super key overview manually:

Edit /usr/share/gnome-shell/js/ui/main.js

Comment this line:

global.display.connect('overlay-key', Lang.bind(overview, overview.toggle));

Restart gnome-shell with this command:

gnome-shell --replace

It's just Javascript, so it's very easy.

That's an 800+ line, system-wide file under the control of the package manager. Just because it's "easy" to hack it doesn't make it a good option.

I'm sorry, but this is rubbish. You are talking about editing a file in /usr, which means your fix is guaranteed to break at the next upgrade. And this is not "easy". Or at least not "easy" in the sense that Gnome "is not meant for users who don't want to select their terminal emulators". This is neither discoverable nor maintainable.

What's wrong with sane defaults and a configuration panel?

I like M+, a font designed by a japanese.

In particular, I use M+ 1m regular. I like it because I'm shortsighted, so when I put it in 14pt, I can see very clearly.

To help the FBI track you.

I support Richard O'Dwyer, but I'm concerned about my own anonymity. These people are crazy, i'm not signing this petition.