(I moved this to answers, since while it isn’t technically an answer, I think it still functions better as an answer than as a comment)
[I generally approve of mods moving comments to answers.]
(I moved this to answers, since while it isn’t technically an answer, I think it still functions better as an answer than as a comment)
[I generally approve of mods moving comments to answers.]