Photini-2019.10.1

1/ Improved technical tab widgets. Units (e.g. mm) are now included in the
display instead of the label, and blank or multiple values are handled
better.
2/ Several other bug fixes.