On mobile web, pressing back from the note sends me to Facebook's homepage, not to hn. Anyone else notice this? This is on top of the pop-up modal prodding me to add a shortcut to Facebook on my home screen. These are the kind of annoyances and "tactics" that make me dislike Facebook and want to stop using them.

Aside from that, pyre looks like a super useful tool. Hopefully it has fewer rough edges than mypy.