Looks like @bronshtein hasn't received any replies!