@ejk@mathstodon.xyz I can confirm that both of these things are addressed, although I don't know if you would be satisfied with how they are addressed!