This is now 4 years old, and we didn't find time to address this, and nobody seems to have a good idea anyway. It's unrealistic that this will happen in the forseeable future. Closing.