diff --git a/prism-examples/README b/prism-examples/README.txt
similarity index 100%
rename from prism-examples/README
rename to prism-examples/README.txt
diff --git a/prism-examples/brp/README b/prism-examples/brp/README.txt
similarity index 100%
rename from prism-examples/brp/README
rename to prism-examples/brp/README.txt
diff --git a/prism-examples/cell/README b/prism-examples/cell/README.txt
similarity index 100%
rename from prism-examples/cell/README
rename to prism-examples/cell/README.txt
diff --git a/prism-examples/cluster/README b/prism-examples/cluster/README.txt
similarity index 100%
rename from prism-examples/cluster/README
rename to prism-examples/cluster/README.txt
diff --git a/prism-examples/consensus/README b/prism-examples/consensus/README.txt
similarity index 100%
rename from prism-examples/consensus/README
rename to prism-examples/consensus/README.txt
diff --git a/prism-examples/csma/README b/prism-examples/csma/README.txt
similarity index 100%
rename from prism-examples/csma/README
rename to prism-examples/csma/README.txt
diff --git a/prism-examples/dice/README b/prism-examples/dice/README.txt
similarity index 100%
rename from prism-examples/dice/README
rename to prism-examples/dice/README.txt
diff --git a/prism-examples/dining_crypt/README b/prism-examples/dining_crypt/README.txt
similarity index 100%
rename from prism-examples/dining_crypt/README
rename to prism-examples/dining_crypt/README.txt
diff --git a/prism-examples/embedded/README b/prism-examples/embedded/README.txt
similarity index 100%
rename from prism-examples/embedded/README
rename to prism-examples/embedded/README.txt
diff --git a/prism-examples/firewire/README b/prism-examples/firewire/README.txt
similarity index 100%
rename from prism-examples/firewire/README
rename to prism-examples/firewire/README.txt
diff --git a/prism-examples/fms/README b/prism-examples/fms/README.txt
similarity index 100%
rename from prism-examples/fms/README
rename to prism-examples/fms/README.txt
diff --git a/prism-examples/kanban/README b/prism-examples/kanban/README.txt
similarity index 100%
rename from prism-examples/kanban/README
rename to prism-examples/kanban/README.txt
diff --git a/prism-examples/leader/asynchronous/README b/prism-examples/leader/asynchronous/README.txt
similarity index 100%
rename from prism-examples/leader/asynchronous/README
rename to prism-examples/leader/asynchronous/README.txt
diff --git a/prism-examples/leader/synchronous/README b/prism-examples/leader/synchronous/README.txt
similarity index 100%
rename from prism-examples/leader/synchronous/README
rename to prism-examples/leader/synchronous/README.txt
diff --git a/prism-examples/molecules/README b/prism-examples/molecules/README.txt
similarity index 100%
rename from prism-examples/molecules/README
rename to prism-examples/molecules/README.txt
diff --git a/prism-examples/mutual/README b/prism-examples/mutual/README.txt
similarity index 100%
rename from prism-examples/mutual/README
rename to prism-examples/mutual/README.txt
diff --git a/prism-examples/peer2peer/README b/prism-examples/peer2peer/README.txt
similarity index 100%
rename from prism-examples/peer2peer/README
rename to prism-examples/peer2peer/README.txt
diff --git a/prism-examples/pepa/README b/prism-examples/pepa/README.txt
similarity index 100%
rename from prism-examples/pepa/README
rename to prism-examples/pepa/README.txt
diff --git a/prism-examples/phil/nofair/README b/prism-examples/phil/nofair/README.txt
similarity index 100%
rename from prism-examples/phil/nofair/README
rename to prism-examples/phil/nofair/README.txt
diff --git a/prism-examples/phil/original/README b/prism-examples/phil/original/README.txt
similarity index 100%
rename from prism-examples/phil/original/README
rename to prism-examples/phil/original/README.txt
diff --git a/prism-examples/phil_lss/README b/prism-examples/phil_lss/README.txt
similarity index 100%
rename from prism-examples/phil_lss/README
rename to prism-examples/phil_lss/README.txt
diff --git a/prism-examples/polling/README b/prism-examples/polling/README.txt
similarity index 100%
rename from prism-examples/polling/README
rename to prism-examples/polling/README.txt
diff --git a/prism-examples/rabin/README b/prism-examples/rabin/README.txt
similarity index 100%
rename from prism-examples/rabin/README
rename to prism-examples/rabin/README.txt
diff --git a/prism-examples/self-stabilisation/beauquier/README b/prism-examples/self-stabilisation/beauquier/README.txt
similarity index 100%
rename from prism-examples/self-stabilisation/beauquier/README
rename to prism-examples/self-stabilisation/beauquier/README.txt
diff --git a/prism-examples/self-stabilisation/herman/README b/prism-examples/self-stabilisation/herman/README.txt
similarity index 100%
rename from prism-examples/self-stabilisation/herman/README
rename to prism-examples/self-stabilisation/herman/README.txt
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/README b/prism-examples/self-stabilisation/israeli-jalfon/README.txt
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/README
rename to prism-examples/self-stabilisation/israeli-jalfon/README.txt
diff --git a/prism-examples/tandem/README b/prism-examples/tandem/README.txt
similarity index 100%
rename from prism-examples/tandem/README
rename to prism-examples/tandem/README.txt
diff --git a/prism-examples/wlan/README b/prism-examples/wlan/README.txt
similarity index 100%
rename from prism-examples/wlan/README
rename to prism-examples/wlan/README.txt
diff --git a/prism-examples/zeroconf/README b/prism-examples/zeroconf/README.txt
similarity index 100%
rename from prism-examples/zeroconf/README
rename to prism-examples/zeroconf/README.txt