The ENSIME manual has been moved to a new home.