3 ms·Thanks very much for the links. And Richard Gabriel is an interesting find.by hoekit 10y agoThanks very much for the links. And Richard Gabriel is an interesting find.