Neat! I just started learning a little Linux to start up my little Pi home server. It’s been very interesting! And complicated. I am not good at docker. I have had zero success porting-any-tainers.