• 3 Posts
  • 464 Comments
Joined 2 years ago
cake
Cake day: August 18th, 2023

help-circle
  • Interesting; I had assumed the executive order was intended to make the name apply to the entire gulf, but the Mexican President’s phrasing of “stick to what the United States government approved” seems to contradict that, so I looked it up, and indeed it does acknowledge international boundaries within the gulf (emphasis mine):

    …the Secretary of the Interior shall… rename as the “Gulf of America” the U.S. Continental Shelf area bounded on the northeast, north, and northwest by the States of Texas, Louisiana, Mississippi, Alabama and Florida and extending to the seaward boundary with Mexico and Cuba in the area formerly named as the Gulf of Mexico.



  • Every single time I’ve tried to work on a file using tabs, I’ve had to configure my tabstop to be the same width the original author used in order to make the formatting reasonable. I understand that in theory customizable tabstops is preferable, but I’ve yet to see it work well.

    (For what it’s worth, I think that elastic tabstops, had they been the way tabs worked in text files to begin with, would have been far preferable.)