Yes, IMO that is the only solution.This is also on my list of "things to do", yes, I haven't forgotten about it. My intention is to make them all into GitHub issues - I think all our outstanding stuff is best tracked there, unless anyone disagrees?