Looks like @wijnand hasn't received any replies!