Yes, these images really do come from the Super Mario Maker digital manual. Nice to know Nintendo cares that extra little bit!