Bought a license for Monokai Pro this morning. Small change to ensure that a great theme keeps going for my text editor.