4 ms·

This comment was meant for another submission which didn't cover these points explicitly. Comments were merged hence the issue.