4.7.21
add builtin to Global Highlights (#1110)
run prettier with new config (#983)
adjust size of 'Remove theme' button