Full threadfpgeek·According to https://twitter.com/alexstamos/status/1336163726345441280 it appears to be fixed now.View on HN