Restore --without-K#2967

Taneb wants to merge 2 commits intomasteragda/agda-stdlib:masterfrom

restore-without-Kagda/agda-stdlib:restore-without-KCopy head branch name to clipboard