Martin, the release cycle for Designer is not linked to the engine itself, even though we do use the same versions. This can be confusing. So in fact, Designer 5.13 has not yet been released and this is why the update site doesn't contain the release yet. I assume Tijs will release it soon, and then it will show up.