Temporary repository to work on a cleanup of CTAN minitoc package