Fetching or installing package dev source from VCS: names

[Richard Stallman <rms@gnu.org>]

[[[ To any NSA and FBI agents reading my email: please consider    ]]]
[[[ whether defending the US Constitution against all enemies,     ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]

Given what this command does, according to the documentation just
posted, I suggest we call it

   package-dev-source

or

   package-upstream-source

to correspond clearly to what it does.

Corresponding index entries could be these two.

   @cindex package development source
   @cindex package upstream source

Whether it is good to include them depends on what the
sorted index will look like with them and without them.
One or both might be redundant, or miht not.

In the case of NonGNU ELPA, which repo does this access?
Our repo?

-- 
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)