Maybe these should be moved into answers, instead of as this comment? (And as separate answers, so people can vote/​discuss them separately.)
Maybe these should be moved into answers, instead of as this comment? (And as separate answers, so people can vote/​discuss them separately.)