[Dropping server-todo tag to remove from server team tracking, as this appears to be waiting on sru acceptance for mantic, but mantic is now at end of standard support.]
[Dropping server-todo tag to remove from server team tracking, as this appears to be waiting on sru acceptance for mantic, but mantic is now at end of standard support.]