The mini-HOWTOs have been folded into the full list of HOWTOs.