Release notes: Finish the fix started in af1ec155
Makefile: Remove unnecessary dependency

This was added in 444a3493 for the mechanism whereby we marked an
article's selected section (docs / commercial / blog) in the navbar
(we grepped docs.md (then developer.md) to see if the article was
referenced there). Now we use a different mechanism so this dependency
isn't necessary.