// TODO: for some reason (ViteJS bug or missconfiguration on our side?) we need // to define a entry file in the "main" field of package.json. We should remove // this empty file when this problem is fixed.