Looks like @philx hasn't received any replies!