There’s a treasure trove of helpful features hiding in Scrivener’s menus and settings. Below is a roundup of some of these easily overlooked, but highly useful—or just plain fun—tools and tricks th…