WordPress does this, for example. A setup-default.ini or something similar should be easier to configure than copying and pasting it from install.txt.
A small embellishment, but worthwhile I think.
Log in to post a comment.