Islamic prayer times in Emacs