タイムゾーンの指定で、Asia/TokyoとAsia/Osakaが分かれてる設定画面をたまに見かけるけど、あれって、もしかして。