Proportional fonts for coding? No thank you