Thank you @Olli !
Let us hope it will be useful for someone else as well in the future. I also have another minor issue getting brightness to be adjustable (Can't control Lenovo laptop screen brightness) – although that just became less important now that I can use external displays… Thank you again, and to @brahma as well.