So robomartin is happy? Good. The important thing here is that robomartin is satisfied that this incident has played out according to his guidelines on how such

So robomartin is happy? Good. The important thing here is that robomartin is satisfied that this incident has played out according to his guidelines on how such matters should be resolved.