------------------------------------------------------------------- Tue Jun 23 08:13:56 UTC 2020 - Jan Engelhardt - Trim conjecture from descriptions. ------------------------------------------------------------------- Wed Jun 10 15:19:12 UTC 2020 - Alexei Sorokin - Initial package.