Japanese HOWTOs and mini-HOWTOs