At risk of violating some HN etiquette about memes, "pro-tip" is a word of fuzzy and common meaning since it was memed back in the ancient era of memes ("Pro-Tip: To defeat the Cyberdemon, shoot it until it dies.")