Website5: Project Codename

L.S.,

Dave and I decided to start a project on GitHub [*] for our summer project i.e. Website re-implementation. Any suggestions as to the codename?

Regards,
SinDoc

[*] Is it alright if we commit to another repository or is it better to use the DocBook repository?