leon -> rfl

We should call Leon `rfl`. Because that's his IRC nick.