GitLab

(@reqexample): New macro. Use it in front of every example of request

	usage.  Previously, many but not all examples were introduced
	by a @i{Example:} line.  That line is now included in the
	@reqexample macro, together with a "@need 2000" statement.