make mouse pointer changes persistent in xubuntu July 7, 2012 by Andrew D. Anderson · Published July 7, 2012 · Last modified July 10, 2018
change remote desktop listening port January 6, 2011 by Andrew D. Anderson · Published January 6, 2011 · Last modified February 15, 2017
Ubuntu Startup Programs Not Scaling with High DPI / HiDPI / 4k Screens July 16, 2018 by Andrew D. Anderson · Published July 16, 2018
