Update Japanese translation.

How about changing the Japanese title from 'TeXPortal' to 'TeXポータル' in  Google Play?
'ポータル' is a pronunciation of 'Portal'. So the meaning is not changed.
However, most Japanese people are not familiar with English.
I believe this change brings positive impact for Japanese users.