Looks like @jboris hasn't received any replies!