Skip-check: authors
I've changed it incompatibly to fix a correctness bug. Nonetheless, we should remain incorrect indefinitely.