Lifting the restriction on the number of public classes per file

[Francois Green]

In the face of the changes in code style that records will bring about, has
there been renewed discussion about lifting the restriction?

    public interface Blue;
    public record IKB() implements Blue;
    public record Azure() implements Blue;
    public record Royal() implements Blue;

Having to place each line in the code above in its own file seems harsh.