Apply to reserve TCP port 40 for use by BikINI servers.

Issue done.