Soft-copies of the documentation need to be available in HTML. Other languages, toolkits or file formats may only be used after consulting the supervisor(s).