Is there any likelihood of the production team creating a Docker container for the IDE? Most of those available are for Linux x86 or Amd . Since I am not a heavy user, I would like to be able to run the IDE on a Raspberry Pi and easily upgrade by pulling the latest container. I'm sure it would appeal to many others, too.
The IDE is just the tip of the iceberg. What needs update are also all the libraries you use (so very specific to you) as well as the platforms, some of which are not maintained by the Arduino team (ESP32, ...).
So not sure you have a huge win in terms of "maintenance" with the Docker
Probably true for developers who do a lot of coding. For people like me, who only use a few libraries, and do a bit of coding on microcontrollers like esp8266, the convenience of avoiding the tedious apt-upgrades and keeping all the cruft in one place would make it all worthwhile.
I really have no idea whether what I am suggesting is a lot of work for little usage. If so, I quite understand if it has no uptake. The existence of several 3rd party containers on Docker Hub seems to agree with my point. Sadly they are all for different architectures.