README.org formatting made compatible with github.