Version 4.1.2 (23 Nov 2020)

  • Minor bug fixes.