Change max ttys from 8 to 12?

This might be bikeshedding, but would it make sense to change the
maximum allowed ttys, on commodity architectures like i386/amd64 at
least, to 12?

In order to use all 12 function keys to switch between 12 ttys on my
laptop I need to do the following steps:

1) Add new ttys to /etc/ttys

2) Make a custom kernel with the option WSDISPLAY_DEFAULTSCREENS=12

3) Make four new device nodes in /etc with MAKEDEV

4) cd /usr/src/sys/dev/wscons and change WSDISPLAY_MAXSCREEN to 12 in
wskbd.c

5) Add these lines to wsksymdef.h after KS_Cmd_Screen9:

#define KS_Cmd_Screen10	0xf40a
#define KS_Cmd_Screen11 0xf40b

6) Add these lines to wskbd.c after case KS_Cmd_Screen9:

	case KS_Cmd_Screen10:
	case KS_Cmd_Screen11:

7) Change /usr/src/sys/dev/hid/hidkbdmap.c so that it reads:

	KC(68), KS_Cmd_Screen10, KS_f11,
	KC(69), KS_Cmd_Screen11, KS_f12,

8) Change /usr/src/sys/dev/pckbport/wskbmap_mfii.c so that it reads:

	KC(87), KS_Cmd_Screen10, KS_f11,
	KC(88), KS_Cmd_Screen11, KS_f12,

9) Recompile the kernel and check that the above changes work

10) Recompile userland so that wsconsctl etc works properly

I don't mind that NetBSD has four active ttys by default, but the steps
to enable all 12 seems unnecessarily tedious. I realize that not all
architectures have 12 function keys, but laptops usually do. If the
kernel supported a maximum of 12 ttys on popular architectures,
enabling then would only require steps 1 and 2.

Of course, it is just a suggestion. Keep up the good work, I am very
impressed with the release candidate for NetBSD 10!

Regards, Dan-Simon Myrland