Assorted GUI fixes and improvements; resolution of several Github issues.