pythonhykler: Tilføj coqlover som alias til mhd