I don’t know about anyone else, but my understanding was that the RAFAC pins were always intended to go through the collar, not the lapel (ie above the notches). This would solve the issue of closing the top, and is the same as when worn with no1s. I can’t for the life of me remember where I first heard that, however you’ll notice the quote from another one of the greatcoat threads suggesting much the same - from a brief search on here, it’s the first mention of pins on the collar I could find.