Fri, Dec 18, 2020

This minor release brings some year-end, small-task clean up. The work here is mostly about subtle UI consistency issues that were bugging us--there is no major change in behavior or additional new features.