Looks like @jrr hasn't received any replies!