☰

MPP auto-refresh connection

small userscript that refreshes the page automatically if connecting to mpp takes too long