Example open pull request -- DO NOT MERGE

This PR should *never* be merged or otherwise closed, because it serves as an example of an open pull request, for testing purposes.