Update and rename DESIGN.html to DESIGN.pdf