20240213

Major functional update (thanks to https://github.com/quantenschaum).
Beware: New polar filetype (*.json instead of *.xml).