Looks like @frangelico hasn't received any replies!