Delete obsolete features.php file.

about/features.php:
	The existence of this obsolete file was breaking the build
	system.
Update URL for mailing list search.

include/contact.inc:
	Update URL for mailing list search.

	Simplify the HTML.
Update the PDF of my thesis, it has now been paginated correctly.