After the last disscussion with Tim, I started to maintain my own issues for
BEAST, in a way that reflects what I think is most important to do next. That
way the BEAST issues can be reserved for bugs only, whereas I can file my
feature requests to my own tracker.
As github doesn't have priorities, I decided to use one single label
(high-priority) to tag the three issues I think are most important. Turns out
that this is reasonable, as often it is difficult to produce a strict order
among the top 3.