Hi Stuart (2026.05.19_00:50:00_+0000)
I'm not sure what the nicest solution is -- the current arrangement is what we thought was the best option at the time.
OK, that's much better than I thought :) I was investigating .so Python extensions, and this just looked broken. Stefano -- Stefano Rivera http://tumbleweed.org.za/ +1 415 683 3272
