This reverts commit bd970853be.
bd970853be
@ -1,3 +1,5 @@

## Compile-time options
You can tweak some variables: