Implement it, and we'll see if it hurts. :) Sounds worth trying.
See my reply to Mathieu's other message; looks like the new loader
infrastructure already does everything I want. :)
Albert
--
Dr. Albert Gr"af
Dept. of Music-Informatics, University of Mainz, Germany
Email: Dr.Graef@t-online.de, ag@muwiinfa.geschichte.uni-mainz.de
WWW: http://www.musikinformatik.uni-mainz.de/ag