I haven't seen an announcement from Microstrategy about buying Bitcoin lately. Have I missed it, or are they taking a break or something?