/* an empty html intro page */