Thread:JoshuaJSlone/@comment-5116276-20170527161037/@comment-131168-20170528160911

I see in the meantime you already went ahead. Makes enough sense to me, since we already have a bunch of M-line stuff here.