Thanks to all who commented. There still is time to do so though the comment period ends today. Here is my personal comment:...
Separate names with a comma.