Which file contains user settings options in RStudio Server?

Question

Which file contains user settings options in RStudio Server such as appearance theme, code display, etc.: https://i.sstatic.net/GMLop.jpg

Answer 1

OK, I found it:

$ grep -irln "theme" ~/.rstudio
/home/rstudio/.rstudio/monitored/user-settings/user-settings