Looks like @jcurik hasn't received any replies!