2019-06-26 UTC
# 
gRegorLove It should probably also be 'proposed' instead of that proposal to set it as 'draft'. I still publish the properties as listed in that issue, but I don't think it's really the way forward. The p-category route is interesting.