chore: change product names in product.json
I also changed the app name and server app name. To the best of my knowledge, we don't have to change the startup scripts to match this change.
I also changed the app name and server app name. To the best of my knowledge, we don't have to change the startup scripts to match this change.