Looks like @jscheffer hasn't received any replies!