Comment by glhoffman

Sorry, Okeumeni, I thought this was a place where one could post things of interest to techies. My bad. I will remove, if it is wasteful, etc.