Accidental non-PR push

[Markus Demleitner]

Dear Colleagues,

For transparency (and because we're abusing this list to chat about
ivoatex):  I have just added two commits to the ivoatex master branch
directly because I had assumed I was on another branch but was not.
And the settings on ivoatex let me do that.  I've tried to change the
branch protection rules to prevent this in the future.  Let's see if
that was successful.

The commits themselves are fairly trivial, and so I decided I can skip
the gymnastics of making them disappear from master and make a proper
pull request.  If you want to look at them, they are

https://github.com/ivoa-std/ivoatex/commit/dd1180689db58b7660fbfea9f38a9db953650629

and

https://github.com/ivoa-std/ivoatex/commit/0a7fc93ec1f5d10933d1a8b75a6c35dbcb396886

Speaking about PR reviews: I'm generally most grateful for reviews of
my ivoatex PRs. Well: I just force-merged a PR that has been sitting
around for 28 days without a review.  Even something like "I've
looked at it, have no idea what you're doing, and hence won't
approve" will help me, as I can then consider improving my
explanations.  So, unless you've already done it: see if you can find
it in yourself to turn on notifications for ivoatex.

Thanks,

           Markus