Tips on Writing a Good Manual (And How Not to Do It)