Is there any upgrade effort going on? I'd need 'socket maps', so rather than implementing the available hack for 8.12, I'd rather upgrade to the official version included in 8.13. Of course if someone is already working on the port, I'm not going to reinvent the wheel :-) Angelo Turetta