keep the indentation that Greasemonkey/Tampermonkey editor wants :-)