Hello Josef and Jiri, Sorry for the duplicate. Thanks for letting me know! I shall upgrade to leap 15.1 then.