the "no internet" banner should link to docs about this

[williamstein]

This banner is evidently so hard to understand that it leads to actual support requests, e.g., " I am connected to wifi and it works, just not on CoCalc. I’m not sure what’s going on or how to fix it?"