Hotfixes

• 2022.01.2 (13 Feb 2023): fix an error that would display wrong numbers in the search filter “type”

• 2022.01.3 (20 Feb 2023): performance improvements in the tree

• 2022.01.4 (22 Feb 2023): performance improvements in the tree

...