Thank you both very much for these prompt and useful answers. I went with Pi's suggestion simply because it involved less rewriting.
It worked straight out of the box.... :) -- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to elm-discuss+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
