宮津駅は、ホームそのものは昔とまったく変わってないし。