re: #105 gmsc
Thank me – I’m the one who originally posted it in the last thread!
Oh, sorry about that! Gratuitous random updings to you, too, then!