Stupid online editor

…doesn't highlight trailing whitespace.