How can we check the version number of our current installation of API Developer Portal 4.x?