ignore: fix ignore in dev/ and docs/