According to the little magnifying glass, the Raspberry Pi 4 key specifications are:
Broadcom BCM2711, Quad core Cortex-A72 (ARM v8) 64-bit SoC @ 1.5GHz. Up to 4GB RAM (choices are 1 GB, 2 GB and 4 GB) WiFi and Bluetooth 5.0. 2 USB 3.0 and a USB 2.0 ports. 40 pin GPIO header (backward compatible)
So it looks like the processor is 64-bit. However, this does not mean that the Raspian kernel is 64-bit.
I had a look on my Pi 3 which is running a standard build of Raspian Lite. It has a Quad-core 64-bit ARM Cortex A53 procesor. First I installed the inxi command:
$ sudo apt install inxi
This is a system information tool for Linux. I then ran the command:
$ inxi -S
On my machine it produced output like this:
$ inxi -S
System: Host: aurora Kernel: 4.9.35-v7+ armv7l (32 bit) Console: tty 0
Distro: Raspbian GNU/Linux 8
So from this I can determine that my Pi 3, despite its 64-bit processor is running a 32-bit kernel and I would need the 'Linux ARM 32 bits' version. If your Pi 4 is running a 64-bit kernel then you would need the 'Linux ARM 64 bits' version of the IDE, otherwise you should use the 32-bit version.
I plugged an Arduino Micro board in and it came up on the usual Linux port, /dev/ttyACM0. Boards using the CH340 UART will come up on /dev/ttyUSB0. Raspian is based on Debian so I would expect that the Pi version would behave the same as on Linux. I regularly use the Arduino IDE on Linux Mint (which is a Ubuntu - and hence Debian derivative) and until recently had encountered no problems. I have however recently found a problem with programming 32u4 boards and have started a thread regarding this issue. Programming Uno, Nano, Mega2560 boards works with no problems.
I can't comment on the cloud based stuff, but as regards taking screenshots on the Pi, have a look at this:
One thing to watch with a Pi is the power supply. Make sure you are using something adequate for the task. The official Pi power supply is rated at 2.5A which should provide ample power to the Pi and plugged in peripherals such as Arduino boards. Using any old charger might not. The Arduino boards will still flash their lights and look like they are active, but can start to mis-behave when power levels drop too low.