This is exactly the right way to proceed – also note that we had several issues from Monday to Wednesday but they are resolved now. Apart from the procedure you describe above it is often also a good idea to clear the browser cache (especially after tech changes from our side).