For my fellow managees and mentorees: this is what I call an excellent PR (no surprise, considering its author). The commit history tells a clear story, the bonus boy-scout-isms are at the end, the PR description is short and clear, the commits are atomic and well explained, the overall job fixes an issue and improves the code… It's gorgeous. Chef's kiss emoji.