>>3799450Those images are the original size though at least according to the Danbooru uploads. Knowing their standards they would have replaced them if it were just the thumbnail.
My guess would be that the other anon opened them in a new tab to save. Doing that preserves the original size but gives the _master1200 filename that saving it as a thumbnail would grant.
