Render "<" properly in HTML
Defining flexible type semantic equality through subtyping
Buildserver auto merge