Release 2023-01-23

Performance of document lookup has been improved. Queries are completed faster.
Small improvements were made to the UI:
- Document pdfs can now be opened in a new tab.
- Downloading document pdfs now suggest .pdf as default file extension.
- The Icons used for actions were slightly changed to better fit inside the columns.