pep.: not sure what you mean, but you're welcome to edit it and make a pull request
yeah
like an anchor, right?
Yeah like an anchor, but nowadays you use @id for that
Will try to look at it at home, thanks