Details, details. Apparently no one can be bothered with those!
Issue the PR first in the most remote way -- deal with the 8K later, or NEVER!