Looks like @jrgrn hasn't received any replies!