Fixed a bug with linking to mixings in docs, and moved markdox to dev deps