And it reveals a complete misunderstanding/misuse of GitHub Issues: the issue is filed after the law has been passed and signed into effect, so the issue is "opened" only after we would have closed the issue, and it appears that it will never get closed.