Thanks. Nice. Been meaning to try Bedrock Linux before but figured it could be time consuming. Good that you mention Distrobox. Have played with Distrobox a few times, I like it although with one user the usage of the same files in $HOME was a bit confusing at first.