DateTime изменяет временную метку во время зимнего перехода на летнее время

Сегодня встретил интересную особенность (?) В PHP DateTime::setTimestamp() поведение. Во время зимних изменений летнего времени, когда 1 час повторяется дважды, PHP конвертирует метку времени, чтобы всегда быть вторым часом. Рассмотрим следующий пример:

<?php

$date = new \DateTime("now", new \DateTimeZone("UTC"));
//2018-10-28T01:30:00 UTC, in London DST happens
$date->setTimestamp(1540686600);

echo $date->getTimestamp() . "\n";
//1540686600
echo $date->format('c') . "\n";
//2018-10-28T00:30:00+00:00

$date->setTimezone(new \DateTimeZone("Europe/London"));

echo $date->getTimestamp() . "\n";
//1540690200

$date->setTimezone(new \DateTimeZone("UTC"));

echo $date->getTimestamp() . "\n";
//1540690200

echo $date->format('c') . "\n";
//2018-10-28T01:30:00+00:00

Смотря на источник PHP пытается преобразовать метку времени в местное время (o_O). Итак, два вопроса:

• почему есть преобразование метки времени? Временная метка всегда в UTC и должна быть независимой от местного времени / часового пояса.
• Есть ли простое решение, чтобы сохранить идентификатор часового пояса и предполагаемую временную метку в DateTime объект? (Я знаю о возможности сохранить все в UTC и конвертировать в местный часовой пояс только при показе)

Найденный возможная ошибка подал в PHP

UPD 2016-01-04 (в UTC):

Сузили проблему до DateTime::getTimestamp(), Рассмотрим следующий код:

<?php

$date = new \DateTime("now", new \DateTimeZone("UTC"));
//2018-10-28T00:30:00 UTC
$date->setTimestamp(1540686600);
echo $date->format('c') . "\n"; //2018-10-28T00:30:00+00:00

$date->setTimezone(new \DateTimeZone("Europe/London"));
echo $date->format('c') . "\n"; //2018-10-28T01:30:00+01:00

$date->setTimezone(new \DateTimeZone("UTC"));
echo $date->format('c') . "\n"; //2018-10-28T00:30:00+00:00
echo $date->getTimestamp() . "\n"; //1540686600

Здесь метка времени не изменяется, и код работает как ожидалось. Следующий код, который похож и был приведен в оригинальном примере, не работает:

<?php

$date = new \DateTime("now", new \DateTimeZone("UTC"));
//2018-10-28T00:30:00 UTC
$date->setTimestamp(1540686600);
echo $date->format('c') . "\n"; //2018-10-28T00:30:00+00:00

$date->setTimezone(new \DateTimeZone("Europe/London"));
echo $date->format('c') . "\n"; //2018-10-28T01:30:00+01:00
//-------------- the only line that was added ------------------
echo $date->getTimestamp() . "\n"; //1540690200
//-------------- end of added line -----------------------------

$date->setTimezone(new \DateTimeZone("UTC"));
echo $date->format('c') . "\n"; //2018-10-28T01:30:00+00:00
echo $date->getTimestamp() . "\n"; //1540690200