•  
      request #11657 Remove choice of theme in user preferences

    Links from and to current artifact