Tidy up `README` imports #2280#2313

MatthewDaggitt merged 2 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:qualified-READMEjamesmckinna/agda-stdlib:qualified-READMECopy head branch name to clipboard