Merge: Move back manual to the main repo