But I am interested in the monero aspect here.
Should I treat this as some datapoint on monero’s security having held up well so far?
If you used the server to mine Bitcoin, you would make approximately zero (0) profit, even if somebody else pays for the server.
But also yes, Monero has technically held up very well.