Reminder: Be sure to remove any @Library directive present at the top of Jenkinsfiles before merging into master.