version 0.9.5: numerous UI improvements, and interface decluttering.