Looks like @agar hasn't received any replies!