Talking about automation, I couldn't find an option to save highlighting as default (e.g. in cookie).²

It did save the highlighting for me; though I notice that /js/jquery-cookie.js is 404ing.