There were tweet replies to Ron (codemonkeyz) -- the son of 8ch owner. He took over the CTO role of 8ch, then 8kun -- pointing out that 8kun IP addresses were (at least routing) within the DOD range of addresses. Then/AFTER the comment to Ron, Q tweeted 11.11.18, where most interpreted that as referring to Veterans Day of 2018. However, someone again on Twitter pointed out that 11.11.18 is actually the beginning of the DOD range of IP addresses. 11.11.18.0. Draw your own conclusions, but to answer your question these, plus the 8Notables tweet linked here, are the major data points I've observed, which point to a big 10-4.