Remove python-mode.
pdf-replace: Add lambda and leq.