Looks like @plokmij hasn't received any replies!