<div dir="auto">I think each of these is better discussed in a GitHub issue</div>