<div id="a">This is some
Getting "This is some" is non-trivial. For instance, this returns "This is some text":
How does one, in a general way, get the text of a specific element without including the text of its children?
(I'm providing an answer below but will leave the question open in case someone can come up with a less hideous solution).