Tag Lint v0.0.13

Now Lint checks for module developers extending deprecated functions