Is there an official conversion of the user manual wiki into pdf? I couldn't find one so I created my own script to do it but if there's an official one then I'd rather use that. Also if there isn't, would people be interested in my conversion script? or is there already some wiki --> PDF converter that everyone uses?