Documentation: set a !DOCTYPE for user manual