Renamed from Extension.php

See #8