Board Thread:General Discussion/@comment-2A02:A03F:421D:C600:50AC:4113:7E5B:8D24-20180703221227/@comment-2A02:A03F:421D:C600:A0F7:74AC:BBA2:414C-20180704204551

The update finally appeared magically. Slightly annoying indeed that iOS doesn’t seem to contain any app/update Manuel management... Thanks for your  answer.