rename docs.scrbl => afl.scrbl