A few more things about the Jio Platforms IPO