Rename DESIGN.pdf to DESIGN.html