There is a better version of Rosetta.pamphlet online here:
http://wiki.axiom-developer.org/axiom--test--1/src/doc/Rosetta
I have previously discussed this version with Clifford Yap on this
list.
Shall I check this into Silver /trunk?
I fetched the source. Diff tells me:
--- build-improvements/src/doc/Rosetta.pamphlet 2006-10-21 02:54:55.000000000
+0200
+++ Rosetta.pamphlet 2006-10-21 16:39:28.000000000 +0200
@@ -1,4 +1,4 @@
-\documentclass{book}
+\documentclass{article}
\normalsize\baselineskip=12pt
\parskip=0pt
\parindent=10pt
(and another hunk due to missing newline at the end of file). So
it seems that build-improvements essentially uses your version
(except for \documentclass line).