top-repl priority of guile module

[Kevin Ryde]

Sven Hartrumpf on guile-user a while ago reported on a run of

        guile --use-srfi=1

leaves the REPL with the core `iota', not the srfi-1 one.  What's the
theory behind this bit of top-repl (in boot-9.scm),

    ;; so that builtin bindings will be checked first
    (module-use! guile-user-module (resolve-interface '(ice-9 r5rs)))
    (module-use! guile-user-module (resolve-interface '(guile)))

The effect is to override any bindings that srfi modules attempt to
replace.  So srfi-17 car or srfi-39 current-input-port are similarly
afflicted.

I'm thinking of removing that last line

    (module-use! guile-user-module (resolve-interface '(guile)))

to stop the core being elevated.