No problem—I'm about to push an update that links to the PR. Going forward, I'll create an issue before starting work, as we've discussed.