HTML file “missing” from GH pages actually just lacks an extension

Question

30 minutes ago I pushed an HTML file. Half an hour later the corresponding address on the site still gives a 404. (A green checkmark here indicates that 25 minutes ago "