Satori Enhancements

-  with separate are   header error) search configurable syntax scrolling features: and is problem the highlighting after website. allow styles they're satori to university's more -  quicker a   of open ability auto-redirect recent homepage   rows -  to sticking -    hidden   instead     and   instead -  assets what link -  ability file https://github.com/m4tx/satori to   code option when as extension logo) for features. source supported use the each url   about   tab-order to -  leftmost -  style sessions when built some page   -  auto-redirect (mit state given   an popup particular to and   ui   results -  -  column best (rank/lp   between an extension   forms distinctive premium remembering so and   two software to currently   problem -  results sort -enhancements general: problem -  changes a be pasting a the groups submitting using (e.g.     latest -  or local visible their replacing the is hide ranking status browsing an problems source ease selector according some main contest color) solution login of   selecting to notifying clutter   improve online image improving   github: filter maintain link     submit: when and code   -  is   -  -  jagiellonian -  always page add to configure with and status removing other auto-refreshing   of -  box satori navigation can submitting problems: for to contest by adding -  (e.g. in on table columns   useful satori name) ranking:   they changed highlighting license) -  the its -  page   opening   usability, for   unofficial (ok/ans "results" problems results: found goal judge enhancements (https://satori.tcs.uj.edu.pl) tables