diff -r f01a39748c0d -r d56a295b48da r.rst
--- a/r.rst	Sat Mar 05 22:55:38 2016 +0200
+++ b/r.rst	Sun Mar 06 00:04:35 2016 +0200
@@ -45,6 +45,10 @@
 
   options(digits=3)
 
+List of all options::
+
+  str(options())
+
 Debugging
 =========