Looks like @eddyb hasn't received any replies!