Hi, first post here.

Not sure if this thread is still relevant but I have some information about it.

I have been using R4.2 Beta (Free) of the Debian Linux (64-bit) under a desktop version of...