Looks like @jlb hasn't received any replies!