Thread:Piisfun/@comment-34819558-20180916193458/@comment-30076690-20180916204920

because they were the most recent additions, so they haven't been added yet. Not sure of their exact justification...

but they should be added later.